diff options
Diffstat (limited to 'test/clightgen/Makefile')
| -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 |