]> https://gitweb.dealii.org/ - dealii.git/commitdiff
make clean should also remove make_dependencies.o
authorRalf Hartmann <Ralf.Hartmann@dlr.de>
Fri, 23 Sep 2005 15:35:12 +0000 (15:35 +0000)
committerRalf Hartmann <Ralf.Hartmann@dlr.de>
Fri, 23 Sep 2005 15:35:12 +0000 (15:35 +0000)
git-svn-id: https://svn.dealii.org/trunk@11524 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/scripts/Makefile

index c87733d2f8d33cd2b809aa54a105412f9570bb82..c799b3d793423a58d0533158627cac657aa69dd6 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.