diff options
Diffstat (limited to 'dev_tools/scripts/clippy-all.sh')
| -rwxr-xr-x | dev_tools/scripts/clippy-all.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/dev_tools/scripts/clippy-all.sh b/dev_tools/scripts/clippy-all.sh deleted file mode 100755 index 09b05ca..0000000 --- a/dev_tools/scripts/clippy-all.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/bash - -find . -name "Cargo.toml" -type f | while read -r cargo_file; do - project_dir=$(dirname "$cargo_file") - echo "Run \`cargo clippy\` in \`$project_dir\` ..." - (cd "$project_dir" && cargo clippy) -done |