From 3881d799d23bcc0cbaaa9e6bfa82c5bc3b2030eb Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Tue, 12 Feb 2019 20:31:43 +0100 Subject: Ignore and clean file .lia.cache This file is created by Coq when running some tactics --- Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index c1b8d982..0247b688 100644 --- a/Makefile +++ b/Makefile @@ -268,6 +268,7 @@ clean: rm -f extraction/STAMP extraction/*.ml extraction/*.mli .depend.extr rm -f tools/ndfun tools/modorder tools/*.cm? tools/*.o rm -f $(GENERATED) .depend + rm -f .lia.cache $(MAKE) -f Makefile.extr clean $(MAKE) -C runtime clean $(MAKE) -C test clean -- cgit