]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Filter out those lines from common/Make.global_options that really
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 20 Apr 2005 17:23:35 +0000 (17:23 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 20 Apr 2005 17:23:35 +0000 (17:23 +0000)
define a variable, not only use it.

git-svn-id: https://svn.dealii.org/trunk@10537 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/Makefile

index 8ec4565116488377f6841a263c8cd2dea12b3e73..5663a385fa38e71ce38abe0b924fcc463af61e04 100644 (file)
@@ -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

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.