tools/scripts/nightly.sh

1025 # usage: use_tools TOOLSROOT
1028 	TOOLSROOT=$1
1031 	# If we're not building ON workspace, then the TOOLSROOT
1044 	# ${TOOLSROOT}/opt/onbld.
1047 	STABS=${TOOLSROOT}/opt/onbld/bin/${MACH}/stabs
1049 	CTFSTABS=${TOOLSROOT}/opt/onbld/bin/${MACH}/ctfstabs
1051 	GENOFFSETS=${TOOLSROOT}/opt/onbld/bin/genoffsets
1054 	CTFCONVERT=${TOOLSROOT}/opt/onbld/bin/${MACH}/ctfconvert
1056 	CTFMERGE=${TOOLSROOT}/opt/onbld/bin/${MACH}/ctfmerge
1059 	CTFCVTPTBL=${TOOLSROOT}/opt/onbld/bin/ctfcvtptbl
1061 	CTFFINDMOD=${TOOLSROOT}/opt/onbld/bin/ctffindmod
1065 		ELFSIGN=${TOOLSROOT}/opt/onbld/bin/elfsigncmp
1067 		ELFSIGN=${TOOLSROOT}/opt/onbld/bin/${MACH}/elfsign
1071 	PATH="${TOOLSROOT}/opt/onbld/bin/${MACH}:${PATH}"
1072 	PATH="${TOOLSROOT}/opt/onbld/bin:${PATH}"
1075 	if [ -d "${TOOLSROOT}/opt/onbld" ]; then
1076 		ONBLD_TOOLS=${TOOLSROOT}/opt/onbld