commit e4d3b63989f24ab963c3de18bbd06a5a607333f2
author Jesse McConnell <jesse.mcconnell@gmail.com> Thu Feb 17 11:16:50 2022 -0600
committer Jesse McConnell <jesse.mcconnell@gmail.com> Thu Feb 17 11:16:50 2022 -0600
tree eed231677e172e46fc2d7de8251121ce8e3bfe76
parent c3b69976460c8a6cb6a076c9b5a89208423b3c47

Update release script to require Java 17 or higher

_update_for_releases.sh

diff --git a/_update_for_releases.sh b/_update_for_releases.sh
index 2d7cdfb..7eaa6cb 100755
--- a/_update_for_releases.sh
+++ b/_update_for_releases.sh
@@ -9,6 +9,7 @@
 }
 
 function set_global_variables() {
+  MIN_JAVA_VERSION=17
   VERSIONS_TXT=$(pwd)/_jettyVersions.txt
   VERSIONS_PHP=$(pwd)/_jettyVersions.php
   ARC_DIR=$(pwd)/_archive
@@ -48,16 +49,28 @@
 function init() {
   echo ""
 
+  set_global_variables;
+  check_java_version;
+  reset_log;
+  create_archive_directory;
+}
+
+function check_java_version() {
+
   if [[ -z "${JAVA_HOME}" ]]; then
     echo "Error: JAVA_HOME environment variable not set, required for javadoc generation."
     exit 1
   fi
 
-  set_global_variables;
-  reset_log;
-  create_archive_directory;
+  local java_version=$(java -version 2>&1 | head -n1 | sed -r 's/.*version "([0-9]*).*$/\1/');
+
+  if (( $java_version < $MIN_JAVA_VERSION)); then
+    echo "Error: java version must be $MIN_JAVA_VERSION+";
+  fi
+
 }
 
+
 function gather_current_versions() {
 
   local version_file="_jettyVersions.txt"
@@ -466,7 +479,7 @@
     gather_current_versions;
     print_global_variables;
     print_execution_variables;
-    echo "test" &>>"$LOG_FILE";
+    #echo "test" &>>"$LOG_FILE";
     exit 0;
   fi