app-editors/jedit: Revert ""remove unused patch"

The patch is needed for jedit-5.2.0 This reverts commit 8014331. Signed-off-by: Jakov Smolić <[email protected]>
johu · Nov 23, 2021 · 2162039 · 2162039
1 parent 06ec79d
commit 2162039
Showing 1 changed file with 24 additions and 0 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
@@ -0,0 +1,24 @@
+From 4dc53a4c320af0894bd600c77d4432c414cdee16 Mon Sep 17 00:00:00 2001
+From: Sebastian Pipping <[email protected]>
+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
+