Gentoo Archives: gentoo-commits

From: Ionen Wolkens <ionen@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/janet/files/
Date: Sun, 06 Feb 2022 19:47:50
Message-Id: 1644176025.a22df9d841351cdacd99749c7bc9e831131449d5.ionen@gentoo
1 commit: a22df9d841351cdacd99749c7bc9e831131449d5
2 Author: Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at>
3 AuthorDate: Sun Jan 2 15:47:17 2022 +0000
4 Commit: Ionen Wolkens <ionen <AT> gentoo <DOT> org>
5 CommitDate: Sun Feb 6 19:33:45 2022 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a22df9d8
7
8 dev-lang/janet: remove unused patch(es)
9
10 Package-Manager: Portage-3.0.30, Repoman-3.0.3
11 Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at>
12 Closes: https://github.com/gentoo/gentoo/pull/23633
13 Signed-off-by: Ionen Wolkens <ionen <AT> gentoo.org>
14
15 dev-lang/janet/files/janet-1.16.1-make.patch | 13 -------------
16 1 file changed, 13 deletions(-)
17
18 diff --git a/dev-lang/janet/files/janet-1.16.1-make.patch b/dev-lang/janet/files/janet-1.16.1-make.patch
19 deleted file mode 100644
20 index 09429f4ff08b..000000000000
21 --- a/dev-lang/janet/files/janet-1.16.1-make.patch
22 +++ /dev/null
23 @@ -1,13 +0,0 @@
24 -diff --git a/Makefile b/Makefile
25 -index 7efef93b..12758ab0 100644
26 ---- a/Makefile
27 -+++ b/Makefile
28 -@@ -254,7 +254,7 @@ build/doc.html: $(JANET_TARGET) tools/gendoc.janet
29 -
30 - build/jpm: jpm $(JANET_TARGET)
31 - $(JANET_TARGET) tools/patch-jpm.janet jpm build/jpm "--libpath=$(LIBDIR)" "--headerpath=$(INCLUDEDIR)/janet" "--binpath=$(BINDIR)"
32 -- chmod +x build/jpm
33 -+ chmod +x jpm
34 -
35 - .INTERMEDIATE: build/janet.pc
36 - build/janet.pc: $(JANET_TARGET)