jedit-5.2.0-build-xml.patch 530 B

12345678910111213141516171819202122232425
  1. From 4dc53a4c320af0894bd600c77d4432c414cdee16 Mon Sep 17 00:00:00 2001
  2. From: Sebastian Pipping <sebastian@pipping.org>
  3. Date: Sat, 8 Aug 2015 00:05:20 +0200
  4. Subject: [PATCH] Do not have target "build" call target "test"
  5. ---
  6. build.xml | 1 -
  7. 1 file changed, 1 deletion(-)
  8. diff --git a/build.xml b/build.xml
  9. index f34934f..da5272a 100644
  10. --- a/build.xml
  11. +++ b/build.xml
  12. @@ -504,7 +504,6 @@
  13. </copy>
  14. </contrib:then>
  15. </contrib:if>
  16. - <antcall target="test" />
  17. </target>
  18. <target name="build-exe-launcher"
  19. --
  20. 2.5.0