From 430e2a4951f82d48180dde2166fdf80c970ea3aa Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Fri, 16 Apr 2021 15:18:21 +0100 Subject: [PATCH] test: ensure tests are run by disabling dune cache --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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