--- profile.orig	2005-05-17 07:31:35.888753400 -0700
+++ profile	2005-05-17 07:33:46.315400700 -0700
@@ -60,17 +60,17 @@
	/bin/find . -type f | while read f; do
		fDest=`echo ${f} | sed -e 's/^\.//g'`
		if [ ! -e "${HOME}${fDest}" -a ! -L "${HOME}${fDest}" ]; then
			/usr/bin/install -D -p -v "${f}" "${HOME}/${fDest}"
		fi
	done
fi

-if [ -d "/tmp" ]; then
+if [ -d "/tmp" -a `stat -c%a /tmp` != "1777" ]; then
	chmod 1777 /tmp
fi

# Default to unix make mode
MAKE_MODE=unix
export MAKE_MODE

# It is recommended that cvs uses ssh for it's remote shell environment