diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-06-07 23:09:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-07 23:09:42 +0200 |
| commit | 625105c0d136e05b965c9192f6a3cc249f5cd9ae (patch) | |
| tree | 9a8228ad2ac19585df8756b36ee474e40585ee3c /icetime/Makefile | |
| parent | 710470f9d28891698aa015eb8c101d1cf75fc332 (diff) | |
| parent | fab366e81d3196108da6f342489b6829f979d1b1 (diff) | |
Merge pull request #222 from mbuesch/icetime-gitignore
icetime: Add generated timings-*.cc files to .gitignore and 'make clean'
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 |