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 ff9e99bd7..005585987 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -1081,7 +1081,7 @@ sub singletest {      if($dumped_core) {          print "core dumped!\n"; -        if(0+ && $gdb) { +        if(0 && $gdb) {              print "running gdb for post-mortem analysis:\n";              open(GDBCMD, ">log/gdbcmd2");              print GDBCMD "bt\n";  | 
