# Leaves PATH unchanged if icecc is already there.
# If ccache is there, adds icecc _after_ it.
# Otherwise adds icecc to the beginning.

PATH=`echo $PATH | /bin/sed -e \
	'\%/usr/lib/icecc/bin% b
	s%/usr/lib/ccache%&:/usr/lib/icecc/bin%
	t
	s%^%/usr/lib/icecc/bin:%'`