summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xcontrib/ci/run3
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/*' \