diff options
| author | Michał Muskała <[email protected]> | 2018-12-05 12:54:04 +0100 |
|---|---|---|
| committer | Michał Muskała <[email protected]> | 2018-12-05 12:56:13 +0100 |
| commit | 6ad400e9a5108eca5f408a65cf227d67ad0bef33 (patch) | |
| tree | 75c4e4059bf9590f4637e1dbff777a13af1b2d26 /lib/tools | |
| parent | 70ba4ed97a28fc7466d00c0a277ad5a0c0913fbb (diff) | |
| download | otp-6ad400e9a5108eca5f408a65cf227d67ad0bef33.tar.gz otp-6ad400e9a5108eca5f408a65cf227d67ad0bef33.tar.bz2 otp-6ad400e9a5108eca5f408a65cf227d67ad0bef33.zip | |
Fix --without-APP config option
The parallel configure implemented in d4b4567 would rm -f the
SKIP-APPLICATIONS file before it was consumed at the end of the
configure script. This reverses the solution by instead first building
the list of skip applications in memory and only then writing them to
the SKIP-APPLICATIONS file.
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions