aboutsummaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
authorLukas Larsson <[email protected]>2013-08-29 18:04:49 +0200
committerLukas Larsson <[email protected]>2013-09-02 16:11:07 +0200
commit0ed2039a7bef0137c1c6723e0401f96b7bf71de3 (patch)
tree782c4835f4a4bccd356ecc0048d7afa4eb8d3449 /lib
parent6fc94ba0b93488e46429dd4e71d11ebfe3b62792 (diff)
downloadotp-0ed2039a7bef0137c1c6723e0401f96b7bf71de3.tar.gz
otp-0ed2039a7bef0137c1c6723e0401f96b7bf71de3.tar.bz2
otp-0ed2039a7bef0137c1c6723e0401f96b7bf71de3.zip
Add configure option --without-$app
This is used to skip the specified app when building and releasing
Diffstat (limited to 'lib')
-rw-r--r--lib/Makefile4
1 files changed, 4 insertions, 0 deletions
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