From: hartmann Date: Fri, 23 Sep 2005 15:35:12 +0000 (+0000) Subject: make clean should also remove make_dependencies.o X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a200c1a68b59e8f8c19c4999b3917c2100ee5e5e;p=dealii-svn.git make clean should also remove make_dependencies.o git-svn-id: https://svn.dealii.org/trunk@11524 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/common/scripts/Makefile b/deal.II/common/scripts/Makefile index c87733d2f8..c799b3d793 100644 --- a/deal.II/common/scripts/Makefile +++ b/deal.II/common/scripts/Makefile @@ -26,5 +26,6 @@ make_dependencies : make_dependencies.cc $D/common/Make.global_options clean: -rm -f make_dependencies + -rm -f make_dependencies.o .PHONY: clean