Index: tools/checkperms/checkperms.py |
diff --git a/tools/checkperms/checkperms.py b/tools/checkperms/checkperms.py |
index 12c729e5b83839e1fde241d07a941d4af180f258..e2807c73c58b394f72f08b714a8840ba022b5132 100755 |
--- a/tools/checkperms/checkperms.py |
+++ b/tools/checkperms/checkperms.py |
@@ -270,7 +270,7 @@ def has_shebang_or_is_elf(full_path): |
""" |
with open(full_path, 'rb') as f: |
data = f.read(4) |
- return (data[:3] == '#!/', data == '\x7fELF') |
+ return (data[:3] == '#!/' or data == '#! /', data == '\x7fELF') |
def check_file(root_path, rel_path): |