diff options
author | Torben | 2020-06-13 13:49:49 +0200 |
---|---|---|
committer | Torben | 2020-06-13 13:49:49 +0200 |
commit | 97e888f17e61d2f5ebae932a099db96bb29d152e (patch) | |
tree | 7c0c73fdd8003347c987199d7501f3a206e9ea8c /derive_jdk_from_path.patch | |
parent | 669fad5294106c4211135333a6a0faf2dab61b66 (diff) | |
download | aur-97e888f17e61d2f5ebae932a099db96bb29d152e.tar.gz |
Use JDK set by archlinux-java
Diffstat (limited to 'derive_jdk_from_path.patch')
-rw-r--r-- | derive_jdk_from_path.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/derive_jdk_from_path.patch b/derive_jdk_from_path.patch new file mode 100644 index 000000000000..8bb265d67e28 --- /dev/null +++ b/derive_jdk_from_path.patch @@ -0,0 +1,11 @@ +--- processing-processing-0270-3.5.4/build/linux/processing 2020-01-17 17:20:35.000000000 +0100 ++++ processing 2020-06-13 03:21:55.217817070 +0200 +@@ -68,7 +68,7 @@ + log APPDIR + + # Try using a local JDK from the same directory as this script +-JDKDIR=`readlink -f "$APPDIR/java"` ++JDKDIR=`readlink -f $(dirname $(readlink -f $(which java)))/../../` + make_jdkcp "$JDKDIR" + log SUCCESS + |