diff options
Diffstat (limited to 'games/lwjgl3/files/patch-config_build-definitions.xml')
| -rw-r--r-- | games/lwjgl3/files/patch-config_build-definitions.xml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/games/lwjgl3/files/patch-config_build-definitions.xml b/games/lwjgl3/files/patch-config_build-definitions.xml new file mode 100644 index 000000000000..a8664fe7cb93 --- /dev/null +++ b/games/lwjgl3/files/patch-config_build-definitions.xml @@ -0,0 +1,12 @@ +--- config/build-definitions.xml.orig 2023-12-18 14:22:59 UTC ++++ config/build-definitions.xml +@@ -100,7 +100,8 @@ This script is included in /build.xml and /config/upda + + <property name="lib" location="bin/libs" relative="true"/> + +- <property name="kotlinc" location="${lib}/kotlinc" relative="true"/> ++ <property name="kotlinc" location="${lib}/kotlinc" relative="true" unless:set="local.kotlin"/> ++ <property name="kotlinc" location="${local.kotlin}" relative="false" if:set="local.kotlin"/> + + <property name="module.lwjgl" location="modules/lwjgl" relative="true"/> + |