make-programs.patch

   1 --- rocksdb-rocksdb-3.10.2/Makefile~    2015-08-01 23:39:38.000000000 +0300
   2 +++ rocksdb-rocksdb-3.10.2/Makefile     2015-08-03 09:54:26.746538265 +0300
   3 @@ -316,6 +316,8 @@
   4
   5  all_but_some_tests: $(LIBRARY) $(BENCHMARKS) tools tools_lib test_libs $(SUBSET)
   6
   7 +programs: $(PROGRAMS)
   8 +
   9  static_lib: $(LIBRARY)
  10
  11  shared_lib: $(SHARED)