summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorLukas Larsson <lukas@erlang-solutions.com>2013-08-29 18:04:49 +0200
committerLukas Larsson <lukas@erlang-solutions.com>2013-09-02 16:11:07 +0200
commit0ed2039a7bef0137c1c6723e0401f96b7bf71de3 (patch)
tree782c4835f4a4bccd356ecc0048d7afa4eb8d3449 /.gitignore
parent6fc94ba0b93488e46429dd4e71d11ebfe3b62792 (diff)
downloaderlang-0ed2039a7bef0137c1c6723e0401f96b7bf71de3.tar.gz
Add configure option --without-$app
This is used to skip the specified app when building and releasing
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
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