diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-17 11:10:22 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-17 11:10:22 +0100 |
commit | 1c5d8f0b46b601b0c8a288f7de156225dd50dd66 (patch) | |
tree | f8a7b24e6d8f91d624f80dff757768d56c6fc7e2 /unit-tests | |
parent | 2fdaf566e83897ed46127791d731f5788c22907c (diff) | |
download | smtcoq-1c5d8f0b46b601b0c8a288f7de156225dd50dd66.tar.gz smtcoq-1c5d8f0b46b601b0c8a288f7de156225dd50dd66.zip |
Improve make cleanall
Diffstat (limited to 'unit-tests')
-rw-r--r-- | unit-tests/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |