diff options
Diffstat (limited to 'no_jdk_download.patch')
-rw-r--r-- | no_jdk_download.patch | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/no_jdk_download.patch b/no_jdk_download.patch index 314c954025b2..dc1b7fcf830f 100644 --- a/no_jdk_download.patch +++ b/no_jdk_download.patch @@ -1,6 +1,6 @@ ---- a/build/build.xml 2022-01-31 12:44:46.824038995 +0100 -+++ b/build/build.xml 2022-01-31 12:47:21.567810435 +0100 -@@ -940,7 +940,7 @@ +--- a/build/build.xml 2022-08-09 21:02:32.341669755 +0200 ++++ b/build/build.xml 2022-08-09 21:13:20.006613526 +0200 +@@ -970,7 +970,7 @@ </if> </target> @@ -9,7 +9,7 @@ <mkdir dir="linux/work" /> <copy todir="linux/work" preservelastmodified="true"> -@@ -1014,45 +1014,6 @@ +@@ -1044,51 +1044,6 @@ <copy file="linux/processing-pde.xml" todir="linux/work/lib" /> <copy file="linux/appdata.xml" todir="linux/work/lib" /> <copy file="linux/desktop.template" todir="linux/work/lib" /> @@ -48,6 +48,12 @@ - <fileset refid="jdk-optional-linux" /> - </delete> - +- <!-- Throw these 300(!) files into a single zip --> +- <zip destfile="linux/work/java/legal.zip" +- basedir="linux/work/java" +- includes="legal/**" /> +- <delete dir="linux/work/java/legal" /> +- - <exec executable="rm"> - <arg value="-r"/> - <arg line="linux/${jdk.folder}"/> |