diff options
-rwxr-xr-x | tests/runtests.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl index bd5de0007..ff9e99bd7 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -1081,7 +1081,7 @@ sub singletest { if($dumped_core) { print "core dumped!\n"; - if($gdb) { + if(0+ && $gdb) { print "running gdb for post-mortem analysis:\n"; open(GDBCMD, ">log/gdbcmd2"); print GDBCMD "bt\n"; |