summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile6
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index fa11cf335..cd7e233e1 100644
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,11 @@ with_venv=tools/with_venv.sh
build:
# Nothing to do
-test: $(venv)
+default_test_type:= $(shell if [ -e $(venv) ]; then echo venv; else echo system; fi)
+
+test: test-$(default_test_type)
+
+test-venv: $(venv)
$(with_venv) python run_tests.py
test-system: