: Run this script through /bin/sh
if [ "$MAKE" = "" ]; then
    MAKE=/bin/make
if [ -f /usr/bin/make ]; then
    MAKE=/usr/bin/make
fi
fi

if [ ${1-"def"} = "clean" ]
then
	rm -f *.bak *% arithtest trace.* create_trace.o create_trace
	exit 0

elif [ ${1-"def"} = "-DARITHMETIC_TEST" ]
then
	cp arithtest.std.sh arithtest
	chmod u+x arithtest


elif [ ${1-"def"} = "-DARITHMETIC_TEST -DARITHMETIC_TEST_NOT_STD" ]
then
	cp arithtest.sh arithtest
	chmod u+x arithtest

else
	exit 0
fi

exec $MAKE MODULE=arithtest -f ../../config/CONFIG.make -f arithtest.make -f  ../../config/Makefile 
