HOME=../../.. SFILE=`basename $1` OFILE=`basename $1 $2`.o ln $HOME/$SRC/rundecs.p . 2> /dev/null ln $HOME/$SRC/e.h . 2> /dev/null ln $1 . if $HOME/$SRC/make -f $HOME/$SRC/Makefile $OFILE >/dev/tty then rm $SFILE echo $OFILE else rm $SFILE exit 1 fi