This commit is contained in:
parent
51337c59d0
commit
b140323b61
2
warp4j
2
warp4j
@ -684,7 +684,7 @@ function create_optimized_runtime() {
|
|||||||
local jmods=$JAVA_DOWNLOAD_PATH/$platform/$machine/$CONCRETE_JAVA_VERSION/$UNPACKED_SUBDIR/jmods
|
local jmods=$JAVA_DOWNLOAD_PATH/$platform/$machine/$CONCRETE_JAVA_VERSION/$UNPACKED_SUBDIR/jmods
|
||||||
local strip-debug=strip-debug
|
local strip-debug=strip-debug
|
||||||
echo "Creating minimal runtime for $platform..."
|
echo "Creating minimal runtime for $platform..."
|
||||||
if [[ $JAVA_VERSION_BASE >= 13 ]]; then
|
if [[ $JAVA_VERSION_BASE -ge 13 ]]; then
|
||||||
$strip-debug=strip-java-debug-attributes
|
$strip-debug=strip-java-debug-attributes
|
||||||
fi
|
fi
|
||||||
echo "$JLINK --no-header-files --no-man-pages --$strip-debug --module-path '$jmods' --add-modules $MODULES --output '$BUNDLES_PATH/$platform/$BUNDLED_DISTRO_SUBDIR'"
|
echo "$JLINK --no-header-files --no-man-pages --$strip-debug --module-path '$jmods' --add-modules $MODULES --output '$BUNDLES_PATH/$platform/$BUNDLED_DISTRO_SUBDIR'"
|
||||||
|
Loading…
Reference in New Issue
Block a user