diff options
Diffstat (limited to 'test/TestRunner.sh')
| -rwxr-xr-x | test/TestRunner.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/TestRunner.sh b/test/TestRunner.sh index 8815dd41f0..58d8cc5224 100755 --- a/test/TestRunner.sh +++ b/test/TestRunner.sh @@ -30,7 +30,7 @@ fi ulimit -t 40 SCRIPT=$OUTPUT.script -grep 'RUN:' $FILENAME | sed "s|^.*RUN:\(.*\)$|\1|g;s|%s|$SUBST|g;s|%llvmgcc|llvm-gcc|g;s|%llvmgxx|llvm-g++|g" > $SCRIPT +grep 'RUN:' $FILENAME | sed "s|^.*RUN:\(.*\)$|\1|g;s|%s|$SUBST|g;s|%llvmgcc|llvm-gcc|g;s|%llvmgxx|llvm-g++|g;s|%prcontext|prcontext.tcl|g" > $SCRIPT /bin/sh $SCRIPT > $OUTPUT 2>&1 || ( |