diff options
| author |   Jakov Smolić <jsmolic@gentoo.org> | 2021-11-23 11:53:55 +0100 |
|---|---|---|
| committer | Jakov Smolić <jsmolic@gentoo.org> | 2021-11-23 11:56:08 +0100 |
| commit | 2162039bd1b8040d9531e13a5acfb0b3dd8975a8 (patch) | |
| tree | 375821d025d36e163388acbc2cda3fff49f53035 /app-editors/jedit | |
| parent | app-editors/jedit: Revert "Drop EAPI-5 ebuild" (diff) | |
| download | gentoo-2162039bd1b8040d9531e13a5acfb0b3dd8975a8.tar.gz gentoo-2162039bd1b8040d9531e13a5acfb0b3dd8975a8.tar.bz2 gentoo-2162039bd1b8040d9531e13a5acfb0b3dd8975a8.zip | |
app-editors/jedit: Revert ""remove unused patch"
The patch is needed for jedit-5.2.0
This reverts commit 801433113b12aa6e0f8fa2fc33780925642941b1.
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, 24 insertions, 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 new file mode 100644 index 000000000000..da0a91d54d22 --- /dev/null +++ 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 <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 + |