Write jvm_engnine version to file due to new jvm-common behavior

simar0at · Jun 20, 2024 · 576c4f8 · 576c4f8
1 parent 641604a
commit 576c4f8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/bin/compile b/bin/compile
@@ -274,6 +274,7 @@ install_bins() {
   monitor "install-npm-binary" install_npm "$npm_engine" "$BUILD_DIR/.heroku/node" $NPM_LOCK
 
   meta_set "build-step" "install-jvm"
+  echo "java.runtime.version = $jvm_engine" >"${BUILD_DIR}/system.properties"
   monitor "install-jvm-binary" install_jdk "$jvm_engine" "$BUILD_DIR" $CACHE_DIR
 
   meta_set "build-step" "install-basex"