diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-02-12 20:31:43 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-02-12 20:33:18 +0100 |
commit | 3881d799d23bcc0cbaaa9e6bfa82c5bc3b2030eb (patch) | |
tree | 42c94841db205b7bc1b863e5d408b14a5e310fc4 /Makefile | |
parent | 873c62128ea8aeb2a26384be2be09b9324b9ed9c (diff) | |
download | compcert-3881d799d23bcc0cbaaa9e6bfa82c5bc3b2030eb.tar.gz compcert-3881d799d23bcc0cbaaa9e6bfa82c5bc3b2030eb.zip |
Ignore and clean file .lia.cache
This file is created by Coq when running some tactics
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |