diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-07-10 15:15:30 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-07-10 15:15:30 +0200 |
| commit | 1f1627064658f036097666f0d2d91cf8fa874e17 (patch) | |
| tree | 866ec9f9fba20b5cb8d1ea801758d14a8493a81f /test | |
| parent | 679ecfeaa24c0615fa1999e9582bf2af6a9f35e7 (diff) | |
| download | compcert-kvx-1f1627064658f036097666f0d2d91cf8fa874e17.tar.gz compcert-kvx-1f1627064658f036097666f0d2d91cf8fa874e17.zip | |
Clean .foo.aux files created by coqc
Diffstat (limited to 'test')
| -rw-r--r-- | test/clightgen/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/clightgen/Makefile b/test/clightgen/Makefile index 0dc1dd00..0607e2fa 100644 --- a/test/clightgen/Makefile +++ b/test/clightgen/Makefile @@ -41,4 +41,4 @@ test: .SECONDARY: $(SRC:.c=.v) clean: - rm -f *.v *.vo + rm -f *.v *.vo .*.aux |