diff --git a/tools/gen_gdb_wrapper_script.py b/tools/gen_gdb_wrapper_script.py index 6487be554f137..8386ac2638978 100755 --- a/tools/gen_gdb_wrapper_script.py +++ b/tools/gen_gdb_wrapper_script.py @@ -18,7 +18,7 @@ for k, v in env.iteritems(): os.environ[k] = v -os.system("${gdb} --args ${test_args}") +os.system("${gdb} --fullname --args ${test_args}") """) if __name__ == '__main__':