diff options
Diffstat (limited to 'scripts/build-doc.sh')
| -rwxr-xr-x | scripts/build-doc.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/build-doc.sh b/scripts/build-doc.sh index 2702b86c..c67ec4c6 100755 --- a/scripts/build-doc.sh +++ b/scripts/build-doc.sh @@ -8,7 +8,11 @@ rm -f $logfile . $sdir/setup-machine-arch.sh -export JAVA_HOME=/usr/lib/jvm/java-17-openjdk-$archabi +if [ -e /usr/lib/jvm/java-17-openjdk-$archabi ] ; then + export JAVA_HOME=/usr/lib/jvm/java-17-openjdk-$archabi +elif [ -e /usr/lib/jvm/java-11-openjdk-$archabi ] ; then + export JAVA_HOME=/usr/lib/jvm/java-11-openjdk-$archabi +fi if [ ! -e $JAVA_HOME ] ; then echo $JAVA_HOME does not exist exit 1 |