rediff patch

diff --git a/make-programs.patch b/make-programs.patch
index d732363f97d33e7ff852a6d3f77715a6999b7150..b93aa76a9edff93568da5dc789a8fc0493e3e57d 100644 (file)
--- 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)
 +