diff options
Diffstat (limited to 'tests')
-rwxr-xr-x | tests/runtests.pl | 7 |
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; |