:
# @(#) $Header: MAKEclean,v 72.1 92/08/14 19:48:13 ssa Exp $
set -e
SHELL=/usr/bin/sh; export SHELL
here=`pwd`;
if expr "$PATH" : ".*:$here/bin" > /dev/null
then
	:
else
	echo OLD PATH = $PATH
	PATH=:$PATH:$here/bin
	echo NEW PATH = $PATH
	export PATH
fi
umask 0
cd MASTER
make -f Make_hp9000 clean
