diff options
| author |   Michael Mair-Keimberger <mmk@levelnine.at> | 2021-10-26 12:06:12 +0200 |
|---|---|---|
| committer |   Jakov Smolić <jsmolic@gentoo.org> | 2021-10-26 13:05:56 +0200 |
| commit | 801433113b12aa6e0f8fa2fc33780925642941b1 (patch) | |
| tree | bfe1110a621b246d77267256f2377220d5b51f45 /app-editors/jedit | |
| parent | media-plugins/vdr-rssreader: remove unused patch (diff) | |
| download | gentoo-801433113b12aa6e0f8fa2fc33780925642941b1.tar.gz gentoo-801433113b12aa6e0f8fa2fc33780925642941b1.tar.bz2 gentoo-801433113b12aa6e0f8fa2fc33780925642941b1.zip | |
app-editors/jedit: remove unused patch
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/22709
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Diffstat (limited to 'app-editors/jedit')
| -rw-r--r-- | app-editors/jedit/files/jedit-5.2.0-build-xml.patch | 24 |
1 files changed, 0 insertions, 24 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 - |