diff options
Diffstat (limited to 'main/redis/makefile-dont-duplicate-binary.patch')
| -rw-r--r-- | main/redis/makefile-dont-duplicate-binary.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/main/redis/makefile-dont-duplicate-binary.patch b/main/redis/makefile-dont-duplicate-binary.patch new file mode 100644 index 0000000000..881e0a582c --- /dev/null +++ b/main/redis/makefile-dont-duplicate-binary.patch @@ -0,0 +1,15 @@ +redis-check-rdb and redis-check-aof binaries are identical to redis-server. + +See https://github.com/antirez/redis/pull/3494 + +--- a/src/Makefile ++++ b/src/Makefile +@@ -287,6 +287,6 @@ + $(REDIS_INSTALL) $(REDIS_SERVER_NAME) $(INSTALL_BIN) + $(REDIS_INSTALL) $(REDIS_BENCHMARK_NAME) $(INSTALL_BIN) + $(REDIS_INSTALL) $(REDIS_CLI_NAME) $(INSTALL_BIN) +- $(REDIS_INSTALL) $(REDIS_CHECK_RDB_NAME) $(INSTALL_BIN) +- $(REDIS_INSTALL) $(REDIS_CHECK_AOF_NAME) $(INSTALL_BIN) + @ln -sf $(REDIS_SERVER_NAME) $(INSTALL_BIN)/$(REDIS_SENTINEL_NAME) ++ @ln -sf $(REDIS_SERVER_NAME) $(INSTALL_BIN)/$(REDIS_CHECK_RDB_NAME) ++ @ln -sf $(REDIS_SERVER_NAME) $(INSTALL_BIN)/$(REDIS_CHECK_AOF_NAME) |