From: "Joonas Niilola" <juippis@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/teyjus/files/
Date: Wed, 29 Jan 2020 11:13:50 +0000 (UTC) [thread overview]
Message-ID: <1580296420.066225aa048d5ddf92885ac910a6842143d08cf5.juippis@gentoo> (raw)
commit: 066225aa048d5ddf92885ac910a6842143d08cf5
Author: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail <DOT> com>
AuthorDate: Wed Jan 29 10:46:17 2020 +0000
Commit: Joonas Niilola <juippis <AT> gentoo <DOT> org>
CommitDate: Wed Jan 29 11:13:40 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=066225aa
dev-lang/teyjus/files: remove unused patch
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail.com>
Signed-off-by: Joonas Niilola <juippis <AT> gentoo.org>
dev-lang/teyjus/files/teyjus-2.0.2-flags.patch | 14 --------------
1 file changed, 14 deletions(-)
diff --git a/dev-lang/teyjus/files/teyjus-2.0.2-flags.patch b/dev-lang/teyjus/files/teyjus-2.0.2-flags.patch
deleted file mode 100644
index dcccd25f9fe..00000000000
--- a/dev-lang/teyjus/files/teyjus-2.0.2-flags.patch
+++ /dev/null
@@ -1,14 +0,0 @@
---- teyjus-orig/source/OMakefile 2008-11-17 07:52:31.000000000 +1100
-+++ teyjus/source/OMakefile 2012-12-12 21:24:24.318557107 +1100
-@@ -19,7 +19,10 @@
- #
-
- OCAMLINCLUDES += $(CMP) $(DIS) $(SIM) $(LOD)
--CFLAGS += -g
-+CFLAGS +=
-+LDFLAGS +=
-+OCAMLFLAGS += -g
-+OCAML_LINK_FLAGS +=
-
- ############################################################
- # Compilation files
reply other threads:[~2020-01-29 11:13 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1580296420.066225aa048d5ddf92885ac910a6842143d08cf5.juippis@gentoo \
--to=juippis@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox