diff options
Diffstat (limited to 'tests/runtests.pl')
-rwxr-xr-x | tests/runtests.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl index 749840b51..d6b7d08b6 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -2495,6 +2495,11 @@ sub singletest { next; } } + elsif($f eq "debug") { + if($debug_build) { + next; + } + } elsif($f eq "large_file") { if($large_file) { next; |