diff options
-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 9864818c6..f5f84c448 100755 --- a/contrib/ci/run +++ b/contrib/ci/run @@ -202,7 +202,8 @@ function build_debug() stage make-check-valgrind \ make-check-wrap -j $CPU_NUM check -- \ libtool --mode=execute \ - valgrind-condense 99 '!(*.py)' -- \ + valgrind-condense 99 \ + '!(*.py|*dlopen-tests)' -- \ --vgdb=no \ --trace-children=yes \ --trace-children-skip='*/bin/*,*/sbin/*' \ |