diff --git a/tools/check-all b/tools/check-all index 9d39fce5f7..5972c2d13c 100755 --- a/tools/check-all +++ b/tools/check-all @@ -14,22 +14,14 @@ fi cd "$SCRIPT_DIR"/..; -# Some Python files don't have names ending in .py -PYTHON_FILES=$(cat <