aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtests/runtests.pl7
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl
index 44b22d75c..0de76e3d1 100755
--- a/tests/runtests.pl
+++ b/tests/runtests.pl
@@ -3334,6 +3334,13 @@ sub singletest {
$DBGCURL=$CMDLINE;
}
+ if($gdbthis) {
+ # gdb is incompatible with valgrind, so disable it when debugging
+ # Perhaps a better approach would be to run it under valgrind anyway
+ # with --db-attach=yes or --vgdb=yes.
+ $disablevalgrind=1;
+ }
+
if($fail_due_event_based) {
logmsg "This test cannot run event based\n";
return -1;