From: wolf Date: Wed, 20 Apr 2005 17:23:35 +0000 (+0000) Subject: Filter out those lines from common/Make.global_options that really X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=53dd66905436837c7c4953c96746fe14b76f7f04;p=dealii-svn.git Filter out those lines from common/Make.global_options that really define a variable, not only use it. git-svn-id: https://svn.dealii.org/trunk@10537 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/Makefile b/deal.II/Makefile index 8ec4565116..5663a385fa 100644 --- a/deal.II/Makefile +++ b/deal.II/Makefile @@ -213,13 +213,13 @@ build-test: echo BUILDTESTNOTE=$(BUILDTESTNOTE) | tee -a build-test-log (./configure $(BUILDTESTFLAGS) 2>&1) > build-test-config if test -f common/Make.global_options ; then \ - grep '^enable-shared' common/Make.global_options ; \ - grep enable-multithreading common/Make.global_options ; \ - grep with-multithreading common/Make.global_options ; \ - grep USE_CONTRIB_PETSC common/Make.global_options ; \ - grep USE_CONTRIB_METIS common/Make.global_options ; \ - grep USE_CONTRIB_HSL common/Make.global_options ; \ - grep USE_CONTRIB_UMFPACK common/Make.global_options ; \ + grep '^enable-shared' common/Make.global_options | grep = ; \ + grep enable-multithreading common/Make.global_options | grep = ; \ + grep with-multithreading common/Make.global_options | grep = ; \ + grep USE_CONTRIB_PETSC common/Make.global_options | grep = ; \ + grep USE_CONTRIB_METIS common/Make.global_options | grep = ; \ + grep USE_CONTRIB_HSL common/Make.global_options | grep = ; \ + grep USE_CONTRIB_UMFPACK common/Make.global_options | grep = ; \ fi | tee -a build-test-log echo END HEADER `date -u '+%Y-%m-%d %T'` | tee -a build-test-log echo | tee -a build-test-log