Searched refs:javahome (Results 1 – 1 of 1) sorted by relevance
279 javahome=$javahomeparent/$javahomedir281 if [ ! -d ${javahome} ]; then287 UNPACK_EXE=$javahome/bin/unpack200294 $UNPACK_EXE $javahome/`dirname $i`/`basename $i .jar`.pack $javahome/$i295 if [ $? -ne 0 ] || [ ! -f $javahome/$i ]; then308 if [ -d $javahome ]; then309 /bin/rm -rf $javahome332 if [ x$ARCH = "x32" ] && [ -f "$javahome/bin/java" ]; then333 "$javahome/bin/java" -client -Xshare:dump > /dev/null 2>&1336 java_runtime=$tempdir/$javahome/bin/java[all …]
Completed in 14 milliseconds