chiark / gitweb /
Java directory searching: accept java-*
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Apr 2023 10:12:40 +0000 (11:12 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Apr 2023 16:11:38 +0000 (17:11 +0100)
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