From c3c7d3a417b37bf7268562c20a27916ae0c51adf Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Sun, 1 Nov 2020 13:56:34 +0100
Subject: Better "make clean"

---
 test/clightgen/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test')

diff --git a/test/clightgen/Makefile b/test/clightgen/Makefile
index 22c434b7..f0e9d961 100644
--- a/test/clightgen/Makefile
+++ b/test/clightgen/Makefile
@@ -53,4 +53,4 @@ test:
 .SECONDARY: $(SRC:.c=.v)
 
 clean:
-	rm -f *.v *.vo .*.aux
+	rm -f *.v *.vo* .*.aux
-- 
cgit