a6fb299
if ! echo ${PATH} | /bin/grep -q /usr/kerberos/bin ; then
cvsdist af3b546
	PATH=/usr/kerberos/bin:${PATH}
cvsdist af3b546
fi
a6fb299
if ! echo ${PATH} | /bin/grep -q /usr/kerberos/sbin ; then
a6fb299
	if [ `/usr/bin/id -u` = 0 ] ; then
cvsdist af3b546
		PATH=/usr/kerberos/sbin:${PATH}
cvsdist af3b546
	fi
cvsdist af3b546
fi