diff options
| author | Dan Gudmundsson <[email protected]> | 2019-08-07 10:04:19 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2019-08-07 11:41:13 +0200 |
| commit | e5de95117604990c8747245e21d48a2982857221 (patch) | |
| tree | fc37662e9fccc2c8b7c865c1b19ea0644d19eda1 /bin/.gitignore | |
| parent | 2f260b1276fc3f96a508cc86068892e275d2368a (diff) | |
| download | otp-e5de95117604990c8747245e21d48a2982857221.tar.gz otp-e5de95117604990c8747245e21d48a2982857221.tar.bz2 otp-e5de95117604990c8747245e21d48a2982857221.zip | |
Print last lines of configure log
So we can see in travis which applications or options that is disabled,
(and/or other config problems)
Diffstat (limited to 'bin/.gitignore')
0 files changed, 0 insertions, 0 deletions