;;
stdio) echo "Input file: <stdin> (from $PDIR/$TEST.in)"
ln $PDIR/$TEST.in $TDIR/$TEST.in
- BOX_EXTRAS="$BOX_EXTRAS -i$TDIR/$TEST.in"
+ cp $PDIR/$TEST.in $BOXDIR/.stdin
+ BOX_EXTRAS="$BOX_EXTRAS -i.stdin"
;;
none) echo "Input file: <none>"
;;
BOX_EXTRAS="$BOX_EXTRAS -o/dev/null"
;;
stdio) echo "Output file: <stdout>"
- BOX_EXTRAS="$BOX_EXTRAS -o$TDIR/$TEST.out"
+ BOX_EXTRAS="$BOX_EXTRAS -o.stdout"
;;
none) echo "Output file: <none>"
;;
file) [ -f $BOXDIR/$PROBLEM.out ] || test-result 0 "No output file."
cp $BOXDIR/$PROBLEM.out $TDIR/$TEST.out
;;
- stdio) [ -f $TDIR/$TEST.out ] || test-result 0 "No output file."
+ stdio) [ -f $BOXDIR/.stdout ] || test-result 0 "No output file."
+ cp $BOXDIR/.stdout $TDIR/$TEST.out
;;
esac
}