From a3146935a48337634f6810d53a7cc7302cb61d47 Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@inria.fr>
Date: Wed, 25 Mar 2020 18:46:08 +0100
Subject: make test does not need cleaning anymore

---
 unit-tests/Makefile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'unit-tests')

diff --git a/unit-tests/Makefile b/unit-tests/Makefile
index 0d4bdc1..d8e9be0 100644
--- a/unit-tests/Makefile
+++ b/unit-tests/Makefile
@@ -39,5 +39,9 @@ logs: $(OBJ)
 	$(COQC) $(COQDEBUG) $(COQFLAGS) $*
 
 
-clean:
-	rm -rf *~ $(ZCHAFFLOG) $(VERITLOG) *.vo *.glob
+clean: cleanvo
+	rm -rf *~ $(ZCHAFFLOG) $(VERITLOG)
+
+
+cleanvo:
+	rm -rf *~ *.vo *.glob
-- 
cgit