chiark / gitweb /
Java directory searching: accept java-*
[jarrg-ian.git] / jarrg
diff --git a/jarrg b/jarrg
index 14c8fd99ba857e9ed389aedb21351963d1138999..2b7b1939eabf47ac5e2d5d4fde9b0856da95cce2 100755 (executable)
--- a/jarrg
+++ b/jarrg
@@ -132,6 +132,7 @@ else
                echo "   jre leaf dir: \"$jreleaf\""
                case "$jreleaf" in
                jre)    echo "   found jre directory, good";;
+               java-*) echo "   found java directory, good";;
                jre1.*) echo "   found versioned jre directory $jreleaf, ok";;
                *)      nojre "java binary not in jre dir ($jreleaf)";;
                esac