diff options
| author | Sam T <pxqr.sta@gmail.com> | 2013-06-20 22:29:11 +0400 |
|---|---|---|
| committer | Sam T <pxqr.sta@gmail.com> | 2013-06-20 22:29:11 +0400 |
| commit | 20108497bab46bf0d92fdf55255a77c8706efae5 (patch) | |
| tree | bf2eca44ab9542c7edf337f7c9f2ff0883a5a408 | |
| parent | a4abe7714ce9017fe9391364c229bb6a26503347 (diff) | |
~ Clean profiling files.
| -rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
| @@ -1,4 +1,6 @@ | |||
| 1 | .PHONY: clean | 1 | .PHONY: clean |
| 2 | 2 | ||
| 3 | clean: | 3 | clean: |
| 4 | rm -r tmp \ No newline at end of file | 4 | rm -rf tmp |
| 5 | rm *.aux *.eventlog *.ps *.hp *.pdf | ||
| 6 | cabal clean \ No newline at end of file | ||