diff --git a/warp4j b/warp4j index 9e99ed6..dc940da 100755 --- a/warp4j +++ b/warp4j @@ -684,7 +684,7 @@ function create_optimized_runtime() { local jmods=$JAVA_DOWNLOAD_PATH/$platform/$machine/$CONCRETE_JAVA_VERSION/$UNPACKED_SUBDIR/jmods local strip-debug=strip-debug 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 fi echo "$JLINK --no-header-files --no-man-pages --$strip-debug --module-path '$jmods' --add-modules $MODULES --output '$BUNDLES_PATH/$platform/$BUNDLED_DISTRO_SUBDIR'"