--- Makefile.orig 2014-06-20 07:40:32.000000000 +0800 +++ Makefile 2014-07-22 23:24:39.702518883 +0800 @@ -166,7 +166,7 @@ release tags valgrind_check whitebox_crash_test format static_lib shared_lib all \ dbg -all: $(LIBRARY) $(PROGRAMS) $(TESTS) +all: $(LIBRARY) $(PROGRAMS) static_lib: $(LIBRARY)