Skip to content

Conversation

@wfouche
Copy link
Contributor

@wfouche wfouche commented Dec 15, 2025

Fixes #2361

@quintesse
Copy link
Contributor

It's definitely "a fix" but not "the fix" unfortunately :-)

@wfouche
Copy link
Contributor Author

wfouche commented Dec 15, 2025

Looking forward to seeing the real fix. This was just a "let-try-something-simple-that-should-work" kind of attempt at a workaround.

@wfouche wfouche marked this pull request as draft December 16, 2025 06:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Options in JBANG_APP_JAVA_OPTIONS are duplicated for every file referenced in //SOURCES

2 participants