From 7976262ed8692b7cac4d198d4a57faf17f0e189f Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Thu, 25 Oct 2012 13:44:18 -0400 Subject: [PATCH] check-all: Detect non-.py Python files by #! line, not a whitelist. (imported from commit e36ad2fd66688092ed0c81b479b9ff81952751fa) --- tools/check-all | 24 ++++++++---------------- 1 file changed, 8 insertions(+), 16 deletions(-) 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 <