diff options
Diffstat (limited to 'derive_jdk_from_path.patch')
-rw-r--r-- | derive_jdk_from_path.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/derive_jdk_from_path.patch b/derive_jdk_from_path.patch deleted file mode 100644 index 8e4b11584972..000000000000 --- a/derive_jdk_from_path.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/build/linux/processing 2020-01-17 17:20:35.000000000 +0100 -+++ b/build/linux/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 - |