From: Wolfgang Bangerth Date: Mon, 31 Jan 2011 23:35:30 +0000 (+0000) Subject: Make compilation die if expand_instantiations fails. X-Git-Tag: v8.0.0~4414 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2d563d1b29111b5e09b83c08cb83214565c26437;p=dealii.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