diff options
Diffstat (limited to 'databases/redis4/files/patch-deps-linenoise-Makefile')
| -rw-r--r-- | databases/redis4/files/patch-deps-linenoise-Makefile | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/databases/redis4/files/patch-deps-linenoise-Makefile b/databases/redis4/files/patch-deps-linenoise-Makefile deleted file mode 100644 index 8f39994aa201..000000000000 --- a/databases/redis4/files/patch-deps-linenoise-Makefile +++ /dev/null @@ -1,15 +0,0 @@ ---- deps/linenoise/Makefile.orig 2015-01-17 22:13:25.000000000 +0300 -+++ deps/linenoise/Makefile 2015-01-17 22:13:45.000000000 +0300 -@@ -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) |