]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Make compilation die if expand_instantiations fails.
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Mon, 31 Jan 2011 23:35:30 +0000 (23:35 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Mon, 31 Jan 2011 23:35:30 +0000 (23:35 +0000)
git-svn-id: https://svn.dealii.org/trunk@23282 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/source/Makefile

index 8fa17bc08587c4715e1f9cafc0209c73fbd20876..07b959ace0c49496d32f8ddbed34d9b2e1ede5c0 100644 (file)
@@ -54,7 +54,7 @@ $(LIBDIR)/optimized/%.$(OBJEXT) :
 
 %.inst : %.inst.in $D/common/template-arguments
        @echo "===================================== $(@F)"
-       @$D/common/scripts/expand_instantiations $D/common/template-arguments < $< > $@
+       @$D/common/scripts/expand_instantiations $D/common/template-arguments < $< > $@ || exit 1
 
 
 

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.