From eaa322725606145c2829a789a9be539acd16923f Mon Sep 17 00:00:00 2001 From: guido Date: Wed, 12 Jun 2002 16:52:46 +0000 Subject: [PATCH] Write CONFIG line to local log file git-svn-id: https://svn.dealii.org/trunk@6082 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/common/scripts/build-test/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deal.II/common/scripts/build-test/template b/deal.II/common/scripts/build-test/template index 2135243445..83bea44b09 100644 --- a/deal.II/common/scripts/build-test/template +++ b/deal.II/common/scripts/build-test/template @@ -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 -- 2.39.5