From: kanschat Date: Wed, 10 Nov 2010 16:17:23 +0000 (+0000) Subject: Automatically delete source/Makefile.dep if remaking fails X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=78fe0cb53ae41bb1201c0599ba17a2908beb02f1;p=dealii-svn.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