11 lines
186 B
Bash
Raw Normal View History

#!/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