
# $Id: make,v 1.5 1994/11/02 10:44:39 surkau Exp $

# $Log: make,v $
 
: Run this script through /bin/sh

if [ "$MAKE" = "" ]
then
	MAKE=`cat ../config/MAKE.save`
	cmd=`echo $MAKE | (read w1 w2;echo $w1)`
	if [ ! -x $cmd ]
	then
		echo "Can't find your system's make utility !!"
		echo "Set it's pathname in environment variable MAKE."
		exit 1
	fi
fi

MAKEFILE=util.make

for par do
	if [ $par = "pure" ]
	then
		MAKEFILE=util.pure.make
		shift
	elif [ $par = "SECXLOCK" ]
	then
		cd secxlock; make $1; cd ..
	elif [ $par = "MOTIFSECTOOL" ]
	then
		cd xmsectool; make $1; cd ..
	fi
done
exec $MAKE -f ../config/CONFIG.make -f $MAKEFILE  $1
