From: Guido Kanschat <dr.guido.kanschat@gmail.com>
Date: Wed, 10 Nov 2010 16:17:23 +0000 (+0000)
Subject: Automatically delete source/Makefile.dep if remaking fails
X-Git-Tag: v8.0.0~4976
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ff5c6e1fbe4bfbd065d3a1957db9ebc350264ad8;p=dealii.git

Automatically delete source/Makefile.dep if remaking fails


git-svn-id: https://svn.dealii.org/trunk@22681 0785d39b-7218-0410-832d-ea1e28bc413d
---

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