diff options
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 + |