diff options
| -rw-r--r-- | dev_tools/scripts/clippy-fix.ps1 | 6 | ||||
| -rw-r--r-- | dev_tools/scripts/clippy.ps1 | 6 |
2 files changed, 12 insertions, 0 deletions
diff --git a/dev_tools/scripts/clippy-fix.ps1 b/dev_tools/scripts/clippy-fix.ps1 new file mode 100644 index 0000000..d57e969 --- /dev/null +++ b/dev_tools/scripts/clippy-fix.ps1 @@ -0,0 +1,6 @@ +Get-ChildItem -Recurse -Filter "Cargo.toml" | ForEach-Object { + $project_dir = $_.DirectoryName + Push-Location $project_dir + cargo clippy --fix --allow-dirty --allow-no-vcs --quiet + Pop-Location +} diff --git a/dev_tools/scripts/clippy.ps1 b/dev_tools/scripts/clippy.ps1 new file mode 100644 index 0000000..4005da7 --- /dev/null +++ b/dev_tools/scripts/clippy.ps1 @@ -0,0 +1,6 @@ +Get-ChildItem -Recurse -Filter "Cargo.toml" | ForEach-Object { + $project_dir = $_.DirectoryName + Push-Location $project_dir + cargo clippy --quiet + Pop-Location +} |
