diff options
-rwxr-xr-x | check | 10 | ||||
-rw-r--r-- | setup.py | 1 |
2 files changed, 10 insertions, 1 deletions
@@ -58,6 +58,16 @@ then fi ;; esac + + case "$x" in + *.py) + if head -1 "$x" | grep '^#!' > /dev/null + then + echo "ERROR: $x has a hashbang" 1>&2 + errors=1 + fi + ;; + esac done fi exit $errors @@ -1,4 +1,3 @@ -#!/usr/bin/python # Copyright (C) 2011, 2012 Codethink Limited # # This program is free software; you can redistribute it and/or modify |