diff options
| -rw-r--r-- | Tools/scripts/hotshotmain.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Tools/scripts/hotshotmain.py b/Tools/scripts/hotshotmain.py index 0912056..4f40628 100644 --- a/Tools/scripts/hotshotmain.py +++ b/Tools/scripts/hotshotmain.py @@ -39,6 +39,7 @@ def run_hotshot(filename, profile, args): def main(args): parser = optparse.OptionParser(__doc__) + parser.disable_interspersed_args() parser.add_option("-p", "--profile", action="store", default=PROFILE, dest="profile", help='Specify profile file to use') (options, args) = parser.parse_args(args) |