jedit-5.2.0-build-xml.patch

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