diff --git a/scripts/bench.py b/scripts/bench.py index 88e5d5f2..19fbe47e 100755 --- a/scripts/bench.py +++ b/scripts/bench.py @@ -1715,7 +1715,7 @@ if __name__ == "__main__": help="Paths to scripts to execute when dropping into gdb. " "Defaults to %r." % GDB_SCRIPTS) bench_parser.add_argument( - '-e', '--exec', + '--exec', type=lambda e: e.split(), help="Run under another executable.") bench_parser.add_argument( diff --git a/scripts/test.py b/scripts/test.py index c69dbf03..3848e3e6 100755 --- a/scripts/test.py +++ b/scripts/test.py @@ -1750,7 +1750,7 @@ if __name__ == "__main__": help="Paths to scripts to execute when dropping into gdb. " "Defaults to %r." % GDB_SCRIPTS) test_parser.add_argument( - '-e', '--exec', + '--exec', type=lambda e: e.split(), help="Run under another executable.") test_parser.add_argument(