make/jprt.config
changeset 875 c879050e4c17
parent 740 b13aca6dc92a
child 876 78de1d98ba7e
--- a/make/jprt.config	Wed Jul 05 16:39:00 2017 +0200
+++ b/make/jprt.config	Wed Aug 06 16:06:43 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}"