public/warp4j
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 3 Wiki Activity

Fixing multiple errors #15

Merged
David merged 10 commits from feature/debugging_build_step into develop 2024-05-15 11:15:06 +02:00
Conversation 0 Commits 10 Files Changed 2 +14 -14
1 changed files with 14 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 9712e0ebaf - Show all commits

2
warp4j
View File

@ -685,7 +685,7 @@ function create_optimized_runtime() {
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 -ge 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'"
"$JLINK" \ "$JLINK" \