]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Write CONFIG line to local log file
authorguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 12 Jun 2002 16:52:46 +0000 (16:52 +0000)
committerguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 12 Jun 2002 16:52:46 +0000 (16:52 +0000)
git-svn-id: https://svn.dealii.org/trunk@6082 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/scripts/build-test/template

index 213524344544fb140dffbf035c9e92663ec0edd0..83bea44b099b396c4b5bf67155f5652d6b82189b 100644 (file)
@@ -93,7 +93,7 @@ cd deal.II
 
 # Echo system information for later parsing
 
-echo "CONFIG " $sysname $compiler $options > log
+echo "CONFIG " $sysname $compiler $options | tee -a log
 
 echo "RUNNING CONFIGURE AT " `date '+%Y-%m-%d %T'` | tee -a log
 (./configure $options 2>&1) | tee -a 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.