diff options
Diffstat (limited to 'databases/redis72/files/patch-deps-linenoise-Makefile')
-rw-r--r-- | databases/redis72/files/patch-deps-linenoise-Makefile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/databases/redis72/files/patch-deps-linenoise-Makefile b/databases/redis72/files/patch-deps-linenoise-Makefile new file mode 100644 index 000000000000..aef0f10966af --- /dev/null +++ b/databases/redis72/files/patch-deps-linenoise-Makefile @@ -0,0 +1,15 @@ +--- deps/linenoise/Makefile.orig 2019-09-25 10:40:18 UTC ++++ deps/linenoise/Makefile +@@ -1,10 +1,10 @@ + STD= + WARN= -Wall +-OPT= -Os ++#OPT= -Os + + R_CFLAGS= $(STD) $(WARN) $(OPT) $(DEBUG) $(CFLAGS) + R_LDFLAGS= $(LDFLAGS) +-DEBUG= -g ++#DEBUG= -g + + R_CC=$(CC) $(R_CFLAGS) + R_LD=$(CC) $(R_LDFLAGS) |