| 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):
|
|
|