aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2010-10-10 22:55:48 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2010-10-10 22:55:48 +0000
commit1ca97587c1585b9a91bb90f7116a75c92e29084f (patch)
tree2fa700db6b8e838d179644dd40dd35829cc24669 /Makefile
parent8f2ae10cf97ea7e5d51d947081db1be2e82f70ed (diff)
clean: clean profile and test output
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 89c13e49..88f1cedf 100644
--- a/Makefile
+++ b/Makefile
@@ -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