make/jprt.config
changeset 876 78de1d98ba7e
parent 874 638ddad10e12
parent 875 c879050e4c17
child 1117 78c43ef52a0a
--- a/make/jprt.config	Wed Aug 06 14:57:13 2008 -0700
+++ b/make/jprt.config	Wed Aug 06 16:39:58 2008 -0700
@@ -146,9 +146,7 @@
     if [ "${JPRT_SOLARIS_COMPILER_NAME}" != "" ] ; then
         compiler_name=${JPRT_SOLARIS_COMPILER_NAME}
     else
-        # FIXUP: Change to SS12 when validated
-	#compiler_name=SS12
-	compiler_name=SS11
+	compiler_name=SS12
     fi
     compiler_path=${jdk_devtools}/${solaris_arch}/SUNWspro/${compiler_name}/bin
     ALT_COMPILER_PATH="${compiler_path}"