From 787d4689a0600c3905b333f062c00d53c022a51c Mon Sep 17 00:00:00 2001
From: Lesenechal Remi <lesenechal.remi@gmail.com>
Date: Wed, 11 Dec 2019 18:59:45 +0100
Subject: [PATCH] dune clean in the coverage target makes it more stable

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index e472e32c2..896116f52 100644
--- a/Makefile
+++ b/Makefile
@@ -31,7 +31,8 @@ test: build
 	eval $$(opam config env)
 	scripts/test_ligo.sh
 
-coverage: build-deps
+coverage:
+	dune clean
 	BISECT_ENABLE=yes dune runtest --force
 	bisect-ppx-report html
 	bisect-ppx-report summary