diff options
author | Danny Milosavljevic <dannym@scratchpost.org> | 2024-02-23 23:23:52 +0100 |
---|---|---|
committer | Danny Milosavljevic <dannym@scratchpost.org> | 2024-02-24 00:01:46 +0100 |
commit | f93d86aaaf0eb0a85a3761e9303418319c67a470 (patch) | |
tree | 78715f79f17d7daeee27025bfd4dc873295f5e54 /gnu/packages/gps.scm | |
parent | b993bfa94fe8dad320a51b26db3a7c1760535aba (diff) |
gnu: openjdk11: Fix ".so" file path patching.
* gnu/packages/java.scm (openjdk11)[arguments]<#:phases>[patch-jni-libs]:
Fix ".so" file path patching.
Change-Id: If705ef237a2afe537af41227479cd2f91efe5ae2
Diffstat (limited to 'gnu/packages/gps.scm')
0 files changed, 0 insertions, 0 deletions