diff options
| -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 |