From 1c5d8f0b46b601b0c8a288f7de156225dd50dd66 Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@lri.fr>
Date: Thu, 17 Feb 2022 11:10:22 +0100
Subject: Improve make cleanall

---
 unit-tests/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'unit-tests')

diff --git a/unit-tests/Makefile b/unit-tests/Makefile
index 4820887..7739224 100644
--- a/unit-tests/Makefile
+++ b/unit-tests/Makefile
@@ -53,4 +53,4 @@ clean: cleanvo
 
 
 cleanvo:
-	rm -rf *~ *.vo *.glob *.vio
+	rm -rf *~ *.vo *.glob *.vio .*.aux .lia.cache
-- 
cgit