[patch] Fix

gcc-config.diff (text/plain), 500 bytes, created by Tres 'RiverRat' Melton on 2004-12-10 01:49:04 UTC

--- /usr/bin/gcc-config-original	2004-12-10 00:08:23.000000000 -0700
+++ /usr/bin/gcc-config	2004-12-10 02:42:54.000000000 -0700
@@ -457,6 +457,13 @@
 	fi
 fi
 
+#  Ensure that a config file for the requested profile exists and is readable.
+if [ ! -r /etc/env.d/gcc/${CC_COMP} ]
+then
+	eerror "$0: No such profile: \"${CC_COMP}\" in /etc/env.d/gcc" 1>&2
+	exit 1
+fi
+
 CC_COMP_NO_SPECS=$(echo ${CC_COMP} | awk -F- '{ print $1"-"$2"-"$3"-"$4"-"$5 }')
 
 GCC_LIB="$(source /etc/env.d/gcc/${CC_COMP}