diff options
author | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2018-08-23 15:36:52 +0300 |
---|---|---|
committer | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2019-06-10 19:40:31 +0300 |
commit | 2b6d1e0dbf47750ee4377d532fb6b38496e4b336 (patch) | |
tree | 4d0dbb939d66ececb4629c00caa5f301d9930098 /scripts | |
parent | b617fc013681f3c2a9b6f49fa6e2af8261bf99c7 (diff) |
Run clippy lints
Diffstat (limited to 'scripts')
-rwxr-xr-x[-rw-r--r--] | scripts/pre-commit | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/pre-commit b/scripts/pre-commit index b6bc60a9..9fe9134d 100644..100755 --- a/scripts/pre-commit +++ b/scripts/pre-commit @@ -1,7 +1,8 @@ #!/bin/zsh # -exec find . -name "*rs" -exec rustfmt {} \; +exec git diff --name-only HEAD | grep ".*\.rs" | xargs rustfmt +#exec find . -name "*rs" -exec rustfmt {} \; exec cargo +nightly clippy # If there are whitespace errors, print the offending file names and fail. exec git diff-index --check --cached $against -- |