diff options
Diffstat (limited to 'app-editors/jedit/files')
-rw-r--r-- | app-editors/jedit/files/jedit-5.2.0-build-xml.patch | 24 | ||||
-rw-r--r-- | app-editors/jedit/files/jedit-5.4.0-build-xml.patch | 11 |
2 files changed, 0 insertions, 35 deletions
diff --git a/app-editors/jedit/files/jedit-5.2.0-build-xml.patch b/app-editors/jedit/files/jedit-5.2.0-build-xml.patch deleted file mode 100644 index da0a91d54d22..000000000000 --- a/app-editors/jedit/files/jedit-5.2.0-build-xml.patch +++ /dev/null @@ -1,24 +0,0 @@ -From 4dc53a4c320af0894bd600c77d4432c414cdee16 Mon Sep 17 00:00:00 2001 -From: Sebastian Pipping <sebastian@pipping.org> -Date: Sat, 8 Aug 2015 00:05:20 +0200 -Subject: [PATCH] Do not have target "build" call target "test" - ---- - build.xml | 1 - - 1 file changed, 1 deletion(-) - -diff --git a/build.xml b/build.xml -index f34934f..da5272a 100644 ---- a/build.xml -+++ b/build.xml -@@ -504,7 +504,6 @@ - </copy> - </contrib:then> - </contrib:if> -- <antcall target="test" /> - </target> - - <target name="build-exe-launcher" --- -2.5.0 - diff --git a/app-editors/jedit/files/jedit-5.4.0-build-xml.patch b/app-editors/jedit/files/jedit-5.4.0-build-xml.patch deleted file mode 100644 index 6a686a6f4a72..000000000000 --- a/app-editors/jedit/files/jedit-5.4.0-build-xml.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/build.xml -+++ b/build.xml -@@ -505,7 +505,7 @@ - </target> - - <target name="build" -- depends="init,retrieve,setup,compile,test" -+ depends="init,retrieve,setup,compile" - description="build the jEdit JAR-file with full debug-information"> - <mkdir dir="${jar.location}"/> - <jar destfile="${jar.location}/${jar.filename}" |