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 --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') 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 -- cgit v1.2.3