From 0ed2039a7bef0137c1c6723e0401f96b7bf71de3 Mon Sep 17 00:00:00 2001 From: Lukas Larsson Date: Thu, 29 Aug 2013 18:04:49 +0200 Subject: Add configure option --without-$app This is used to skip the specified app when building and releasing --- lib/Makefile | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'lib/Makefile') diff --git a/lib/Makefile b/lib/Makefile index 9ddf3a0544..71313170b0 100644 --- a/lib/Makefile +++ b/lib/Makefile @@ -52,6 +52,10 @@ else endif endif +# Any applications listed in SKIP-APPLICATIONS should be skipped +SKIP_FILE := $(wildcard SKIP-APPLICATIONS) +SKIP_APPLICATIONS := $(if $(SKIP_FILE),$(shell cat $(SKIP_FILE))) +SUB_DIRECTORIES := $(filter-out $(SKIP_APPLICATIONS),$(SUB_DIRECTORIES)) # ---------------------------------------------------------------------- include $(ERL_TOP)/make/otp_subdir.mk -- cgit v1.2.3