5216
5216
dnl Check for the java executable
5217
5217
if test -x "$dir/java"; then
5218
5219
dnl And also check for a libjvm.so somewhere under there
5219
5220
dnl Since we have to go to the parent dir, /usr/bin is excluded, /usr is too big.
5221
5222
libjvmdir=`find $dir/.. -name libjvm.so | sed 's,libjvm.so,,'|head -n 1`
5222
5223
if test ! -f $libjvmdir/libjvm.so; then continue; fi