1 2 3 4 5 6 7 8 9 10
#!/bin/sh TOPDIR=$1 INPUT=$2 OUTPUT=$3 FLAGS=$4 TEMPFILE=jay-tmp-$RANDOM.out $TOPDIR/jay/jay $FLAGS < $TOPDIR/jay/skeleton.cs $INPUT > $TEMPFILE && mv $TEMPFILE $OUTPUT