aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtests/runtests.pl2
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";