aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rw-r--r--Dockerfile2
-rw-r--r--Makefile9
2 files changed, 9 insertions, 2 deletions
diff --git a/Dockerfile b/Dockerfile
index 74745a6..17d6e5d 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -23,7 +23,7 @@ RUN cd -- "$src_dir" && \
"DEFAULT_HOST=$DEFAULT_HOST" \
"INSTALL_PREFIX=$install_dir" && \
ulimit -n 1024 && \
- make test CONFIGURATION="$CONFIGURATION"
+ make test/all CONFIGURATION="$CONFIGURATION"
FROM base
diff --git a/Makefile b/Makefile
index d770648..91806f0 100644
--- a/Makefile
+++ b/Makefile
@@ -61,4 +61,11 @@ install: build
.PHONY: test
test:
- cd -- '$(call escape,$(cmake_dir))' && ctest --verbose
+ cd -- '$(call escape,$(cmake_dir))' && ctest --verbose --exclude-regex python_tests_valgrind
+
+.PHONY: test/valgrind
+test/valgrind:
+ cd -- '$(call escape,$(cmake_dir))' && ctest --verbose --tests-regex python_tests_valgrind
+
+.PHONY: test/all
+test/all: test test/valgrind