diff --git a/Makefile b/Makefile index f5f16076..0886de60 100644 --- a/Makefile +++ b/Makefile @@ -6,7 +6,7 @@ build: dune build @install -p $(PACKAGES) test: build - dune runtest --no-buffer --force + dune runtest --cache=disabled --no-buffer --force clean: dune clean