--- 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: $(LIBRARY) $(PROGRAMS) $(TESTS) +programs: $(PROGRAMS) + static_lib: $(LIBRARY) shared_lib: $(SHARED)