From ff5c6e1fbe4bfbd065d3a1957db9ebc350264ad8 Mon Sep 17 00:00:00 2001
From: Guido Kanschat <dr.guido.kanschat@gmail.com>
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