diff options
Diffstat (limited to 'icetime/Makefile')
-rw-r--r-- | icetime/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/icetime/Makefile b/icetime/Makefile index 6d9ac4f..38e2fe6 100644 --- a/icetime/Makefile +++ b/icetime/Makefile @@ -65,7 +65,7 @@ test: test0 test1 test2 test3 test4 test5 test6 test7 test8 test9 show: show0 show1 show2 show3 show4 show5 show6 show7 show8 show9 clean: - rm -f icetime$(EXE) icetime.exe *.o *.d + rm -f icetime$(EXE) icetime.exe *.o *.d timings-*.cc rm -rf test[0-9]* -include *.d |