diff --git a/Makefile b/Makefile index bcfc5b9eb78..ba121000e3a 100644 --- a/Makefile +++ b/Makefile @@ -62,9 +62,7 @@ test: trap "kill $${PSTREE_SLEEP_PID}" SIGINT SIGTERM EXIT; \ timeout --foreground $(TEST_TIMEOUT2) \ dune runtest --profile=$(PROFILE) --error-reporting=twice -j $(JOBS) -ifneq ($(PY_TEST), NO) dune build @runtest-python --profile=$(PROFILE) -endif stresstest: dune build @stresstest --profile=$(PROFILE) --no-buffer -j $(JOBS)