diff options
author | Michael Mair-Keimberger <mmk@levelnine.at> | 2022-11-08 07:19:48 +0100 |
---|---|---|
committer | Conrad Kostecki <conikost@gentoo.org> | 2022-11-13 19:33:51 +0100 |
commit | 56b7179ca59461f819a757df27f919dac502c6b1 (patch) | |
tree | f3909433e14027b9f1a720cc846970aef51ab6a1 /dev-lang/mujs | |
parent | media-tv/plex-media-server: remove unused files (diff) | |
download | gentoo-56b7179ca59461f819a757df27f919dac502c6b1.tar.gz gentoo-56b7179ca59461f819a757df27f919dac502c6b1.tar.bz2 gentoo-56b7179ca59461f819a757df27f919dac502c6b1.zip |
dev-lang/mujs: remove unused patch
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/28184
Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
Diffstat (limited to 'dev-lang/mujs')
-rw-r--r-- | dev-lang/mujs/files/mujs-1.1.0-flags.patch | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/dev-lang/mujs/files/mujs-1.1.0-flags.patch b/dev-lang/mujs/files/mujs-1.1.0-flags.patch deleted file mode 100644 index 3c57f4699109..000000000000 --- a/dev-lang/mujs/files/mujs-1.1.0-flags.patch +++ /dev/null @@ -1,14 +0,0 @@ -diff --git a/Makefile b/Makefile -index 1702e67..7b24457 100644 ---- a/Makefile -+++ b/Makefile -@@ -30,9 +30,6 @@ ifeq "$(build)" "debug" - else ifeq "$(build)" "sanitize" - CFLAGS += -pipe -g -fsanitize=address -fno-omit-frame-pointer - LDFLAGS += -fsanitize=address --else ifeq "$(build)" "release" -- CFLAGS += -Os -- LDFLAGS += -Wl,-s - endif - - ifeq "$(HAVE_READLINE)" "yes" |