| commit | ef7f33b93bd833d84e2c4054bf2ff713f2d9baf0 | [log] [tgz] |
|---|---|---|
| author | James Zern <jzern@google.com> | Wed Jan 28 20:30:51 2015 -0800 |
| committer | James Zern <jzern@google.com> | Wed Jan 28 20:30:51 2015 -0800 |
| tree | a59727399a14a6a75c5aa8e7f4ec3766c0b17317 | |
| parent | c29c61340002d61b4a3539c5a7ffd73e9067a25a [diff] |
configure: echo --(disable|enable)-* cmdline options gives a better summary of what is enabled / disabled outside of the automatic toolchain options. fixes issue #936 Change-Id: I1bf27593a5512713aab1473cb606c58cf3084d62