diff options
| author | Lukas Larsson <[email protected]> | 2013-08-29 18:04:49 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2013-09-02 16:11:07 +0200 |
| commit | 0ed2039a7bef0137c1c6723e0401f96b7bf71de3 (patch) | |
| tree | 782c4835f4a4bccd356ecc0048d7afa4eb8d3449 /lib/Makefile | |
| parent | 6fc94ba0b93488e46429dd4e71d11ebfe3b62792 (diff) | |
| download | otp-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/Makefile')
| -rw-r--r-- | lib/Makefile | 4 |
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 |