blob: 6df0eb5299267e912df7078f96b686ad42c49e08 (
plain)
1
2
3
4
5
6
7
8
9
10
|
#!/bin/sh
TOPDIR=$1
INPUT=$2
OUTPUT=$3
FLAGS=$4
TEMPFILE=`mktemp jay-tmp.XXXXXX` || exit 1
$TOPDIR/jay/jay $FLAGS < $TOPDIR/jay/skeleton.cs $INPUT > $TEMPFILE && mv $TEMPFILE $OUTPUT
|