+++ /dev/null
---- rocksdb-rocksdb-3.10.2/Makefile~ 2015-08-01 23:39:38.000000000 +0300
-+++ rocksdb-rocksdb-3.10.2/Makefile 2015-08-03 09:54:26.746538265 +0300
-@@ -316,6 +316,8 @@
-
- all_but_some_tests: $(LIBRARY) $(BENCHMARKS) tools tools_lib test_libs $(SUBSET)
-
-+programs: $(PROGRAMS)
-+
- static_lib: $(LIBRARY)
-
- shared_lib: $(SHARED)