From: Wolfgang Bangerth Date: Tue, 8 Nov 2005 17:29:09 +0000 (+0000) Subject: Allow ./configure and make to fail if in build-test X-Git-Tag: v8.0.0~12895 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b62309290d450a522a0ea7c6aad37f2dc6f64105;p=dealii.git Allow ./configure and make to fail if in build-test git-svn-id: https://svn.dealii.org/trunk@11738 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/Makefile b/deal.II/Makefile index 958ca6b3d1..f31a055896 100644 --- a/deal.II/Makefile +++ b/deal.II/Makefile @@ -211,7 +211,7 @@ build-test: echo HOST=`hostname` | tee -a build-test-log echo BUILDTESTFLAGS=$(BUILDTESTFLAGS) | tee -a build-test-log echo BUILDTESTNOTE=$(BUILDTESTNOTE) | tee -a build-test-log - (./configure $(BUILDTESTFLAGS) 2>&1) > build-test-config + -(./configure $(BUILDTESTFLAGS) 2>&1) > build-test-config if test -f common/Make.global_options ; then \ grep '^enable-shared' common/Make.global_options | grep = ; \ grep enable-multithreading common/Make.global_options | grep = ; \ @@ -227,7 +227,7 @@ build-test: cat build-test-config | tee -a build-test-log echo END CONFIGURE OUTPUT `date -u '+%Y-%m-%d %T'` | tee -a build-test-log echo | tee -a build-test-log - $(MAKE) BUILDTEST= build-test-do 2>&1 | tee -a build-test-log + -$(MAKE) BUILDTEST= build-test-do 2>&1 | tee -a build-test-log # target to do the actual compilation tests for an automated build test. build # the library, the example programs, and the doxygen example programs. if the