From 7f69f6d94b751464aae3c852f0bc53d5854f30a4 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Mon, 24 Oct 2016 18:36:26 +0200
Subject: Rename lia.cache into .lia.cache in the test-suite Makefile.

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

(limited to 'test-suite/Makefile')

diff --git a/test-suite/Makefile b/test-suite/Makefile
index 6a18c45df..c10cd4ed4 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -105,7 +105,7 @@ run: $(SUBSYSTEMS)
 bugs: $(BUGS)
 
 clean:
-	rm -f trace lia.cache
+	rm -f trace .lia.cache
 	$(SHOW) "RM        <**/*.stamp> <**/*.vo> <**/*.vio> <**/*.log>"
 	$(HIDE)find . \( \
 	  -name '*.stamp' -o -name '*.vo' -o -name '*.vio' -o -name '*.log' \
-- 
cgit v1.2.3