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