agent/make/saenv.sh

changeset 3138
f6f3bb0ee072
parent 1907
c18cbe5936b8
child 4028
a9fed06c01d2
     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"

mercurial