diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-11-01 13:56:34 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-11-01 13:56:34 +0100 |
| commit | c3c7d3a417b37bf7268562c20a27916ae0c51adf (patch) | |
| tree | 2d0efcef4d84fd948421dcac5a6f4ad78b97ad54 /test | |
| parent | b1b853a2e9f7f2143fedd58772a702bc9c6a8ba1 (diff) | |
| download | compcert-kvx-c3c7d3a417b37bf7268562c20a27916ae0c51adf.tar.gz compcert-kvx-c3c7d3a417b37bf7268562c20a27916ae0c51adf.zip | |
Better "make clean"
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 22c434b7..f0e9d961 100644 --- a/test/clightgen/Makefile +++ b/test/clightgen/Makefile @@ -53,4 +53,4 @@ test: .SECONDARY: $(SRC:.c=.v) clean: - rm -f *.v *.vo .*.aux + rm -f *.v *.vo* .*.aux |