From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Tue, 24 Jul 2012 23:34:42 +0000 (+0000)
Subject: Come up with a test that actually works.
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=45d6ae381d6edf96fc6df557adb738e6dbc2801f;p=dealii-svn.git

Come up with a test that actually works.

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

diff --git a/deal.II/source/Makefile b/deal.II/source/Makefile
index 0877d7e842..f9a5068ee1 100644
--- a/deal.II/source/Makefile
+++ b/deal.II/source/Makefile
@@ -219,11 +219,15 @@ include Makefile.dep
 # If the command fails, then remove Makefile.dep again and fail
 %/Makefile.dep:
 	@echo "===================================== Remaking $@"
-	@(($D/common/scripts/make_dependencies -n $(INCLUDE) "-B\$$(LIBDIR)" \
+	@$D/common/scripts/make_dependencies -n $(INCLUDE) "-B\$$(LIBDIR)" \
 			$(filter $D/source/$(dir $@)%, $(cc-files)) \
-		| $(PERL) -pe 's!LIBDIR\)/(debug|optimized)/(.*):!LIBDIR)/$$1/$(@:%/Makefile.dep=%)_$$2:!g;' \
-	  ) > $@) \
-	 || (rm -f $@ ; false)
+	 | $(PERL) -pe 's!LIBDIR\)/(debug|optimized)/(.*):!LIBDIR)/$$1/$(@:%/Makefile.dep=%)_$$2:!g;' \
+	 > $@
+	@if test ! -s $@ ; then \
+	  echo "*** make_dependencies failed to produce a valid file $@" ; \
+	  rm $@ ; \
+	  false ; \
+	fi
 
 
 # include all the dependencies