diff options
Diffstat (limited to 'Tools/scripts/fixheader.py')
| -rwxr-xr-x | Tools/scripts/fixheader.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Tools/scripts/fixheader.py b/Tools/scripts/fixheader.py index 02b4f3b0d14..1bf5c526b8f 100755 --- a/Tools/scripts/fixheader.py +++ b/Tools/scripts/fixheader.py @@ -45,4 +45,5 @@ def process(filename): print '#endif' print '#endif /*', '!'+magic, '*/' -main() +if __name__ == '__main__': + main() |