From: Ralf Hartmann Date: Fri, 23 Sep 2005 15:35:12 +0000 (+0000) Subject: make clean should also remove make_dependencies.o X-Git-Tag: v8.0.0~13079 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ebdb2a73990b853a96b293c8f879a5a25c5bb1a3;p=dealii.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