diff options
Diffstat (limited to 'icetime')
| -rw-r--r-- | icetime/.gitignore | 1 | ||||
| -rw-r--r-- | icetime/Makefile | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/icetime/.gitignore b/icetime/.gitignore index 5c1b012..70d5a6b 100644 --- a/icetime/.gitignore +++ b/icetime/.gitignore @@ -1,6 +1,7 @@ icetime icetime.exe timings.inc +timings-*.cc test[0-9]* *.d *.o 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 |