Closes #1611: actually use "argv" argument again in cmdline.main.

This commit is contained in:
Georg Brandl 2014-11-04 08:51:40 +01:00
parent 9bd306840f
commit fdeaff759a

View File

@ -126,7 +126,7 @@ def main(argv):
# parse options # parse options
try: try:
opts, args = parser.parse_args() opts, args = parser.parse_args(argv[1:])
except SystemExit as err: except SystemExit as err:
return err.code return err.code