Searched refs:jrefile (Results 1 – 1 of 1) sorted by relevance
64 if [ "x" != "x$jrefile" ]; then65 jrecopy=-DJRE_FILE=$jrefile140 jrefile=`basename $jrefile`141 if [ -z "$jrefile" ]; then142 jrefile="notfound"191 jrefile=`basename $jrefile`192 if [ -z "$jrefile" ]; then193 jrefile="notfound"197 if [ ! -f $packagepath/$jrefile ]; then209 tempjrefile=$tempdir/$jrefile[all …]
Completed in 8 milliseconds