From ea162fa667672010babb2fb8513d552e87787d64 Mon Sep 17 00:00:00 2001 From: Jan Palus Date: Thu, 16 Dec 2021 20:36:24 +0100 Subject: [PATCH] rediff patch --- make-programs.patch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make-programs.patch b/make-programs.patch index d732363..b93aa76 100644 --- a/make-programs.patch +++ b/make-programs.patch @@ -2,7 +2,7 @@ +++ rocksdb-rocksdb-3.10.2/Makefile 2015-08-03 09:54:26.746538265 +0300 @@ -316,6 +316,8 @@ - all: $(LIBRARY) $(PROGRAMS) $(TESTS) + all_but_some_tests: $(LIBRARY) $(BENCHMARKS) tools tools_lib test_libs $(SUBSET) +programs: $(PROGRAMS) + -- 2.44.0