diff options
Diffstat (limited to 'Tools/scripts/copytime.py')
| -rwxr-xr-x | Tools/scripts/copytime.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Tools/scripts/copytime.py b/Tools/scripts/copytime.py index 74c29c95ec8..209c4924d38 100755 --- a/Tools/scripts/copytime.py +++ b/Tools/scripts/copytime.py @@ -22,4 +22,5 @@ def main(): sys.stderr.write(file2 + ': cannot change time\n') sys.exit(2) -main() +if __name__ == '__main__': + main() |