diff options
Diffstat (limited to 'Lib/gzip.py')
| -rw-r--r-- | Lib/gzip.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Lib/gzip.py b/Lib/gzip.py index e422773..8002b43 100644 --- a/Lib/gzip.py +++ b/Lib/gzip.py @@ -583,8 +583,7 @@ def main(): g = sys.stdout.buffer else: if arg[-3:] != ".gz": - print("filename doesn't end in .gz:", repr(arg)) - continue + sys.exit("filename doesn't end in .gz:", repr(arg)) f = open(arg, "rb") g = builtins.open(arg[:-3], "wb") else: |