From ebdb2a73990b853a96b293c8f879a5a25c5bb1a3 Mon Sep 17 00:00:00 2001 From: Ralf Hartmann Date: Fri, 23 Sep 2005 15:35:12 +0000 Subject: [PATCH] make clean should also remove make_dependencies.o git-svn-id: https://svn.dealii.org/trunk@11524 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/common/scripts/Makefile | 1 + 1 file changed, 1 insertion(+) 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 -- 2.39.5