diff --git a/Makefile b/Makefile index 572e42e9e..4beb74938 100644 --- a/Makefile +++ b/Makefile @@ -135,13 +135,12 @@ endif # PLATFORM_SHARED_EXT all: $(LIBRARY) $(PROGRAMS) .PHONY: blackbox_crash_test check clean coverage crash_test ldb_tests \ - release tags valgrind_check whitebox_crash_test format + release tags valgrind_check whitebox_crash_test format shared_lib # Will also generate shared libraries. release: $(MAKE) clean OPT=-DNDEBUG $(MAKE) all -j32 - OPT=-DNDEBUG $(MAKE) $(SHARED) -j32 coverage: $(MAKE) clean @@ -201,6 +200,8 @@ tags: format: build_tools/format-diff.sh +shared_lib: $(SHARED) + # --------------------------------------------------------------------------- # Unit tests and tools # ---------------------------------------------------------------------------