diff --git a/Makefile b/Makefile index 4d155619a5..a24a4b2a7c 100644 --- a/Makefile +++ b/Makefile @@ -30,9 +30,7 @@ lint: test: 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)