diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2020-01-29 12:46:17 +0200 |
|---|---|---|
| committer |   Joonas Niilola <juippis@gentoo.org> | 2020-01-29 13:13:40 +0200 |
| commit | 066225aa048d5ddf92885ac910a6842143d08cf5 (patch) | |
| tree | 2a1ca619f6e8f352ca567b903f858cebd4077e03 /dev-lang/teyjus | |
| parent | media-plugins/vdr-wapd: remove unused patch (diff) | |
| download | gentoo-066225aa048d5ddf92885ac910a6842143d08cf5.tar.gz gentoo-066225aa048d5ddf92885ac910a6842143d08cf5.tar.bz2 gentoo-066225aa048d5ddf92885ac910a6842143d08cf5.zip | |
dev-lang/teyjus/files: remove unused patch
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Signed-off-by: Joonas Niilola <juippis@gentoo.org>
Diffstat (limited to 'dev-lang/teyjus')
| -rw-r--r-- | dev-lang/teyjus/files/teyjus-2.0.2-flags.patch | 14 |
1 files changed, 0 insertions, 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 dcccd25f9fe4..000000000000 --- 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
|