From 94f790101c254b22c16dc8ff3094102d37451aae Mon Sep 17 00:00:00 2001 From: Craig Schardt Date: Wed, 26 Jul 2023 14:25:53 -0500 Subject: [PATCH] Use correct package name --- 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