#
FILENAME=$1
+TESTNAME=$1
SUBST=$1
-OUTPUT=$FILENAME.out
+OUTPUT=Output/$FILENAME.out
+
+# create the output directory if it does not already exist
+mkdir Output > /dev/null 2>&1
if test $# != 1; then
# If more than one parameter is passed in, there must be three parameters:
# and the file to output to.
SUBST=$2
OUTPUT=$3
+ TESTNAME=$3
fi
-SCRIPT=Output/$OUTPUT.script
-grep 'RUN:' $FILENAME | sed "s|^.*RUN:\(.*\)$|\1|g;s|%s|$SUBST|g" > $SCRIPT
+ulimit -t 40
+
+SCRIPT=$OUTPUT.script
+grep 'RUN:' $FILENAME | sed "s|^.*RUN:\(.*\)$|\1|g;s|%s|$SUBST|g;s|%llvmgcc|llvm-gcc -emit-llvm|g;s|%llvmgxx|llvm-g++ -emit-llvm|g;s|%prcontext|prcontext.tcl|g" > $SCRIPT
/bin/sh $SCRIPT > $OUTPUT 2>&1 || (
- echo "******************** TEST '$FILENAME' FAILED! ********************"
+ echo "******************** TEST '$TESTNAME' FAILED! ********************"
echo "Command: "
cat $SCRIPT
echo "Output:"
cat $OUTPUT
rm $OUTPUT
- echo "******************** TEST '$FILENAME' FAILED! ********************"
+ echo "******************** TEST '$TESTNAME' FAILED! ********************"
)