5 lines
88 B
Plaintext
Executable file
5 lines
88 B
Plaintext
Executable file
if ${MACH?} -I../../../h ${MACHFL?} $1 1>&2
|
|
then echo `basename $1 $2`.m
|
|
else exit 1
|
|
fi
|