equal
deleted
inserted
replaced
1748 usage: %s file_name [module_name] |
1748 usage: %s file_name [module_name] |
1749 """ |
1749 """ |
1750 |
1750 |
1751 |
1751 |
1752 def main(): |
1752 def main(): |
1753 import sys |
|
1754 if len(sys.argv) < 2: |
1753 if len(sys.argv) < 2: |
1755 print(usage % sys.argv[0], file=sys.stderr) |
1754 print(usage % sys.argv[0], file=sys.stderr) |
1756 sys.exit(1) |
1755 sys.exit(1) |
1757 file_name = os.path.abspath(sys.argv[1]) |
1756 file_name = os.path.abspath(sys.argv[1]) |
1758 if not os.path.isfile(file_name): |
1757 if not os.path.isfile(file_name): |