diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-10-10 22:55:48 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-10 22:55:48 +0000 |
commit | 1ca97587c1585b9a91bb90f7116a75c92e29084f (patch) | |
tree | 2fa700db6b8e838d179644dd40dd35829cc24669 /Makefile | |
parent | 8f2ae10cf97ea7e5d51d947081db1be2e82f70ed (diff) |
clean: clean profile and test output
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -110,7 +110,7 @@ all: compile ## Remove generated targets ## clean: cleanpgscripts - rm -f $(ELC) *~ */*~ .\#* */.\#* + rm -f $(ELC) *~ */*~ .\#* */.\#* */.autotest.log */.profile.log (cd doc; $(MAKE) clean) distclean: clean |