From 78fe0cb53ae41bb1201c0599ba17a2908beb02f1 Mon Sep 17 00:00:00 2001 From: kanschat Date: Wed, 10 Nov 2010 16:17:23 +0000 Subject: [PATCH] Automatically delete source/Makefile.dep if remaking fails git-svn-id: https://svn.dealii.org/trunk@22681 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/deal.II/Makefile b/deal.II/Makefile index 87f378608f..f664001b4d 100644 --- a/deal.II/Makefile +++ b/deal.II/Makefile @@ -2,6 +2,7 @@ # # Makefile for the whole library +SHELL=/bin/bash help: @echo "========================================================================" @@ -25,7 +26,9 @@ help: deps: cd common/scripts && $(MAKE) $(MAKEOPTIONS) - cd source && $(MAKE) $(MAKEOPTIONS) Makefile.dep + @cd source && if $(MAKE) $(MAKEOPTIONS) Makefile.dep;\ + then echo > /dev/null ;\ + else rm Makefile.dep && $(MAKE) $(MAKEOPTIONS) Makefile.dep; fi cd lib && $(MAKE) $(MAKEOPTIONS) external-links -- 2.39.5