|
From: <sv...@va...> - 2008-09-10 09:07:48
|
Author: bart
Date: 2008-09-10 10:07:52 +0100 (Wed, 10 Sep 2008)
New Revision: 8597
Log:
Make sure that stderr redirection works both with bash and tcsh.
Modified:
trunk/nightly/conf/georgia-tech-cellbuzz.conf
Modified: trunk/nightly/conf/georgia-tech-cellbuzz.conf
===================================================================
--- trunk/nightly/conf/georgia-tech-cellbuzz.conf 2008-09-10 06:11:38 UTC (rev 8596)
+++ trunk/nightly/conf/georgia-tech-cellbuzz.conf 2008-09-10 09:07:52 UTC (rev 8597)
@@ -10,8 +10,8 @@
cellbuzz_run_regtest() {
cd valgrind || return $?
- VGDIR=$PWD
- jobid=`echo "{ cd $VGDIR && perl tests/vg_regtest --all; } >$VGDIR/regtest-output.txt 2>&1" \
+ rm -f regtest-output.txt
+ jobid=`echo "{ cd $PWD && perl tests/vg_regtest --all; } >& $PWD/regtest-output.txt" \
| /usr/pbs/bin/qsub`
echo "Job ID = ${jobid}"
while [ `/usr/pbs/bin/qstat "${jobid}" 2>/dev/null | wc --lines` -gt 0 ]
|