diff --git a/Tools/scripts/ftpmirror.py b/Tools/scripts/ftpmirror.py index 857ba7681062..4b02714f7965 100755 --- a/Tools/scripts/ftpmirror.py +++ b/Tools/scripts/ftpmirror.py @@ -392,4 +392,6 @@ def writedict(dict, filename): pass os.rename(tempname, filename) -main() + +if __name__ == '__main__': + main()