diff --git a/scripts/bench.py b/scripts/bench.py index f997f367..5b5c9d5e 100755 --- a/scripts/bench.py +++ b/scripts/bench.py @@ -1667,7 +1667,7 @@ if __name__ == "__main__": help="Path to the gdb executable, may include flags. " "Defaults to %r." % GDB_PATH) bench_parser.add_argument( - '--exec', + '-e', '--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 88466922..f874f1a9 100755 --- a/scripts/test.py +++ b/scripts/test.py @@ -1696,7 +1696,7 @@ if __name__ == "__main__": help="Path to the gdb executable, may include flags. " "Defaults to %r." % GDB_PATH) test_parser.add_argument( - '--exec', + '-e', '--exec', type=lambda e: e.split(), help="Run under another executable.") test_parser.add_argument(