fix make clean

pull/675/head
Alexander Medvednikov 2019-06-26 18:12:24 +02:00
parent e7f2babb5d
commit 5b5c6b7918
1 changed files with 1 additions and 1 deletions

View File

@ -11,4 +11,4 @@ test: v
find .. -name '*_test.v' | xargs ./v {}
clean:
-rm v.c
-rm -f v.c v