diff options
Diffstat (limited to 'main/redis/makefile-dont-duplicate-binary.patch')
| -rw-r--r-- | main/redis/makefile-dont-duplicate-binary.patch | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/main/redis/makefile-dont-duplicate-binary.patch b/main/redis/makefile-dont-duplicate-binary.patch index 881e0a582c..085fcc4cc7 100644 --- a/main/redis/makefile-dont-duplicate-binary.patch +++ b/main/redis/makefile-dont-duplicate-binary.patch @@ -4,7 +4,7 @@ See https://github.com/antirez/redis/pull/3494 --- a/src/Makefile +++ b/src/Makefile -@@ -287,6 +287,6 @@ +@@ -307,9 +307,9 @@ $(REDIS_INSTALL) $(REDIS_SERVER_NAME) $(INSTALL_BIN) $(REDIS_INSTALL) $(REDIS_BENCHMARK_NAME) $(INSTALL_BIN) $(REDIS_INSTALL) $(REDIS_CLI_NAME) $(INSTALL_BIN) @@ -13,3 +13,6 @@ See https://github.com/antirez/redis/pull/3494 @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) + + uninstall: + rm -f $(INSTALL_BIN)/{$(REDIS_SERVER_NAME),$(REDIS_BENCHMARK_NAME),$(REDIS_CLI_NAME),$(REDIS_CHECK_RDB_NAME),$(REDIS_CHECK_AOF_NAME),$(REDIS_SENTINEL_NAME)} |