diff options
| author | Lukas Larsson <[email protected]> | 2013-09-02 16:11:44 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2013-09-02 16:11:44 +0200 |
| commit | 1477aa1a8b78a806ae6b815e16776a64cf6fbc6e (patch) | |
| tree | 51557c68259af7aa920a3885e84cfea1527dd2f5 /.gitignore | |
| parent | 1a57f9d04b0e846ba6dccdb99643c4f7ab17705f (diff) | |
| parent | dbc8066d21384db9829e8b58cd99a4fc223e83ac (diff) | |
| download | otp-1477aa1a8b78a806ae6b815e16776a64cf6fbc6e.tar.gz otp-1477aa1a8b78a806ae6b815e16776a64cf6fbc6e.tar.bz2 otp-1477aa1a8b78a806ae6b815e16776a64cf6fbc6e.zip | |
Merge branch 'lukas/skip-extra-applications/OTP-11288' into maint
* lukas/skip-extra-applications/OTP-11288:
Refactor and change EXTRA_APPLICATIONS to use ls
Add configure option --without-$app
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 |