commit | 924eab64a36735bbec080f5f0dc02bb3a773284d | [log] [tgz] |
---|---|---|
author | Matthias Klose <doko@ubuntu.com> | Sun Sep 13 15:09:24 2009 +0000 |
committer | Matthias Klose <doko@ubuntu.com> | Sun Sep 13 15:09:24 2009 +0000 |
tree | 7820eb12a93677594dba7eda3f4ec0443d3f0587 | |
parent | 1f4fc097f600cf0c0408afd88a9d0a9bff9d9212 [diff] [blame] |
Issue #6635: Fix profiler printing usage message.
diff --git a/Lib/profile.py b/Lib/profile.py index 27d68ba..3af8427 100755 --- a/Lib/profile.py +++ b/Lib/profile.py
@@ -605,9 +605,9 @@ sys.exit(2) (options, args) = parser.parse_args() - sys.argv[:] = args - if (len(sys.argv) > 0): + if (len(args) > 0): + sys.argv[:] = args sys.path.insert(0, os.path.dirname(sys.argv[0])) run('execfile(%r)' % (sys.argv[0],), options.outfile, options.sort) else: