diff options
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/ci/run | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/ci/run b/contrib/ci/run index 1b230f584..f96476ff8 100755 --- a/contrib/ci/run +++ b/contrib/ci/run @@ -187,7 +187,8 @@ function build_debug() { # Extended glob pattern matching tests to run under Valgrind. # NOTE: The particular pattern below is inverted - declare -r valgrind_test_pattern="!(*.py|*/dlopen-tests|*/whitespace_test)" + declare -r valgrind_test_pattern="\ + !(*.py|*/dlopen-tests|*/whitespace_test|*/double_semicolon_test)" export CFLAGS="$DEBUG_CFLAGS" declare test_dir declare test_dir_distcheck |