diff options
Diffstat (limited to 'dev-lang/mujs/files/mujs-1.1.0-flags.patch')
| -rw-r--r-- | dev-lang/mujs/files/mujs-1.1.0-flags.patch | 14 |
1 files changed, 14 insertions, 0 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 new file mode 100644 index 000000000000..3c57f4699109 --- /dev/null +++ b/dev-lang/mujs/files/mujs-1.1.0-flags.patch @@ -0,0 +1,14 @@ +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" |