From: bangerth Date: Mon, 31 Jan 2011 23:35:30 +0000 (+0000) Subject: Make compilation die if expand_instantiations fails. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6ff258b145110f7b0240488b2dfcf14739c31a90;p=dealii-svn.git Make compilation die if expand_instantiations fails. git-svn-id: https://svn.dealii.org/trunk@23282 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/source/Makefile b/deal.II/source/Makefile index 8fa17bc085..07b959ace0 100644 --- a/deal.II/source/Makefile +++ b/deal.II/source/Makefile @@ -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