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 /.gitignore | |
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 '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 7ccedd3ff3..9cd91245f5 100644 --- a/.gitignore +++ b/.gitignore @@ -150,6 +150,7 @@ JAVADOC-GENERATED /erts/epmd/test/Emakefile /lib/*/SKIP +/lib/SKIP-APPLICATIONS /lib/*/doc/html/*.html /lib/*/doc/html/*.css |