From: guido Date: Fri, 14 Jun 2002 15:37:06 +0000 (+0000) Subject: improved X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7d3ba906233c8ba28bedb171b631506c519d5549;p=dealii-svn.git improved git-svn-id: https://svn.dealii.org/trunk@6144 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/common/scripts/build-test/configurations/ragnaroek-cxx.cfg b/deal.II/common/scripts/build-test/configurations/ragnaroek-cxx.cfg index d9b8ba1007..fa8930d312 100644 --- a/deal.II/common/scripts/build-test/configurations/ragnaroek-cxx.cfg +++ b/deal.II/common/scripts/build-test/configurations/ragnaroek-cxx.cfg @@ -18,7 +18,7 @@ s'MAIL=.*'MAIL="ssh -q rom mail"'; # Path variables -s'#export PATH'export PATH=$HOME/bin/bin'; +s'#export PATH'export PATH=/usr/local/bin:$HOME/bin/bin'; # CVS account diff --git a/deal.II/common/scripts/build-test/configurations/ragnaroek-gcc295.cfg b/deal.II/common/scripts/build-test/configurations/ragnaroek-gcc295.cfg index 33b2dbbf31..99fde3f08b 100644 --- a/deal.II/common/scripts/build-test/configurations/ragnaroek-gcc295.cfg +++ b/deal.II/common/scripts/build-test/configurations/ragnaroek-gcc295.cfg @@ -6,11 +6,11 @@ s/\@Id\@/$id/; # Commands s'MAKE=.*'MAKE=gmake'; -s'MAIL=.*'MAIL=mail'; +s'MAIL=.*'MAIL="ssh -q rom mail"'; # Path variables -s'#export PATH'export PATH=$HOME/bin/bin'; +s'#export PATH'export PATH=/usr/local/bin:$HOME/bin/bin'; # CVS account diff --git a/deal.II/common/scripts/build-test/configurations/utwente-gcc.cfg b/deal.II/common/scripts/build-test/configurations/utwente-gcc.cfg index f83bcadd86..0acfdda345 100644 --- a/deal.II/common/scripts/build-test/configurations/utwente-gcc.cfg +++ b/deal.II/common/scripts/build-test/configurations/utwente-gcc.cfg @@ -11,7 +11,8 @@ s'CXX=.*'CXX=g++'; s'CC=.*'CC=gcc'; s'CVS=.*'CVS=cvs'; s'MAKE=.*'MAKE="make"'; -s'MAIL=.*'MAIL="cat > "'; +#s'MAIL=.*'MAIL="cat > "'; +s!\$MAIL build-(.*)\@dealii.org.*!cp log > ../../$1!; # Path variables