From 481c77e526e59accf98ef9a5527ab7fb0e40104b Mon Sep 17 00:00:00 2001
From: kailiu <hfevers@gmail.com>
Date: Tue, 14 Jan 2014 13:54:33 -0800
Subject: [PATCH] Move the compilation of the shared libraries to "make
 release"

Compiling the shared libraries took a long time. Thus to speed up the development speed, it still makes sense to be separated from regular compilation.
---
 Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index ebf7b96fe..572e42e9e 100644
--- a/Makefile
+++ b/Makefile
@@ -132,14 +132,16 @@ $(SHARED3): $(LIBOBJECTS)
 
 endif  # PLATFORM_SHARED_EXT
 
-all: $(LIBRARY) $(PROGRAMS) $(SHARED)
+all: $(LIBRARY) $(PROGRAMS)
 
 .PHONY: blackbox_crash_test check clean coverage crash_test ldb_tests \
 	release tags valgrind_check whitebox_crash_test format
 
+# Will also generate shared libraries. 
 release:
 	$(MAKE) clean
-	OPT=-DNDEBUG $(MAKE) -j32
+	OPT=-DNDEBUG $(MAKE) all -j32
+	OPT=-DNDEBUG $(MAKE) $(SHARED) -j32
 
 coverage:
 	$(MAKE) clean