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"; |