diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2018-05-16 00:28:48 +0200 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-05-16 00:29:45 +0200 |
| commit | d06c74db8b4dba95c814afd96c1a5084d8822a5e (patch) | |
| tree | 7681f35f62db5e576a7d2144f1910e9ae55a7173 /main/redis/makefile-dont-duplicate-binary.patch | |
| parent | c28bfa6688edf662275b96f0fec3042098f4defb (diff) | |
| download | aports-d06c74db8b4dba95c814afd96c1a5084d8822a5e.tar.bz2 aports-d06c74db8b4dba95c814afd96c1a5084d8822a5e.tar.xz | |
main/redis: avoid duplicated binary
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) |