+ dir) echo "Input file: files in directory $PDIR/$TEST.in/"
+ [ -d $PDIR/$TEST.in ] || die "Not a directory: $PDIR/$TEST.in"
+ # TODO: recursive ln to $TDIR
+ cp -r $PDIR/$TEST.in $TDIR/$TEST.in
+ cp -r $PDIR/$TEST.in/* $BOXDIR/
+ # Can have .stdin, but empty by default
+ touch $BOXDIR/.stdin
+ BOX_EXTRAS="$BOX_EXTRAS -i.stdin"
+ ;;