From b37fda842de1d7c78c33dbf183ae3f1e368bf997 Mon Sep 17 00:00:00 2001 From: Kai Liu Date: Tue, 22 Oct 2013 22:38:49 -0700 Subject: [PATCH] Improve the comment for the shared library in Make file --- Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index d0ca51aac..1a1c24324 100644 --- a/Makefile +++ b/Makefile @@ -85,7 +85,9 @@ MEMENVLIBRARY = libmemenv.a default: all -# Should we build shared libraries? +#----------------------------------------------- +# Create platform independent shared libraries. +#----------------------------------------------- ifneq ($(PLATFORM_SHARED_EXT),) ifneq ($(PLATFORM_SHARED_VERSIONED),true) @@ -112,7 +114,7 @@ $(SHARED3): endif # PLATFORM_SHARED_EXT -all: $(SHARED) $(LIBRARY) $(PROGRAMS) +all: $(LIBRARY) $(PROGRAMS) .PHONY: blackbox_crash_test check clean coverage crash_test ldb_tests \ release tags valgrind_check whitebox_crash_test