1.1 --- a/agent/make/saenv.sh Sat Sep 10 17:29:02 2011 -0700 1.2 +++ b/agent/make/saenv.sh Sun Sep 11 14:48:24 2011 -0700 1.3 @@ -70,6 +70,14 @@ 1.4 1.5 SA_CLASSPATH=$STARTDIR/../build/classes:$STARTDIR/../src/share/lib/js.jar:$STARTDIR/sa.jar:$STARTDIR/lib/js.jar 1.6 1.7 +if [ ! -z "$SA_TYPEDB" ]; then 1.8 + if [ ! -f $SA_TYPEDB ]; then 1.9 + echo "$SA_TYPEDB is unreadable" 1.10 + exit 1 1.11 + fi 1.12 + OPTIONS="-Dsun.jvm.hotspot.typedb=$SA_TYPEDB ${OPTIONS}" 1.13 +fi 1.14 + 1.15 OPTIONS="-Djava.system.class.loader=sun.jvm.hotspot.SALauncherLoader ${OPTIONS}" 1.16 1.17 SA_JAVA_CMD="$SA_PREFIX_CMD $SA_JAVA -showversion ${OPTIONS} -cp $SA_CLASSPATH $SA_OPTIONS"