]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Come up with a test that actually works.
authorbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 24 Jul 2012 23:34:42 +0000 (23:34 +0000)
committerbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 24 Jul 2012 23:34:42 +0000 (23:34 +0000)
git-svn-id: https://svn.dealii.org/trunk@25723 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/source/Makefile

index 0877d7e8424391d836cac58564f30f74dfd53dae..f9a5068ee148a353e81f2f54244c052d7454077b 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.