From 24a0c9c2709d330de6779a8c0785ed48e5282f52 Mon Sep 17 00:00:00 2001 From: Craig Schardt Date: Thu, 27 Jul 2023 09:24:12 -0500 Subject: [PATCH] Use correct package name (#891) --- scripts/install.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/install.sh b/scripts/install.sh index 61cb52faeb..cfbaa2fa06 100755 --- a/scripts/install.sh +++ b/scripts/install.sh @@ -54,12 +54,12 @@ else fi echo "Installing the JRE..." -if ! package_is_installed openjre-11-jre-headless +if ! package_is_installed openjdk-11-jre-headless then apt-get update - apt-get install --yes openjre-11-jre-headless + apt-get install --yes openjdk-11-jre-headless fi -echo "JDK installation complete." +echo "JRE installation complete." if [ "$ARCH" == "aarch64" ] then