15 lines
254 B
Plaintext
Executable file
15 lines
254 B
Plaintext
Executable file
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
|