diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/fast8.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/tools/fast8.sh b/tools/fast8.sh deleted file mode 100755 index 2b3e22ab..00000000 --- a/tools/fast8.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/bash - -cd $(dirname "$0")/.. -CHANGED=$(git diff --name-only HEAD~1 | tr '\n' ' ') - -# Skip files that don't exist -# (have been git rm'd) -CHECK="" -for FILE in $CHANGED; do - if [ -f "$FILE" ]; then - CHECK="$CHECK $FILE" - fi -done - -diff -u --from-file /dev/null $CHECK | flake8 --diff |
