diff options
author | Peter Powell <petpow@saberuk.com> | 2014-12-18 16:01:10 +0000 |
---|---|---|
committer | Peter Powell <petpow@saberuk.com> | 2014-12-18 16:43:58 +0000 |
commit | bdaccea9600285febd1fabc3dddb6dbec9947f42 (patch) | |
tree | 845e9b832dea2a9ccc1daa5e7ae62dd34a518bf4 /tools | |
parent | 7cb79020b7a9d7431d3038953c8e05ec0f2158c7 (diff) |
Fix some oversights from #895.
- Always write the configure cache file as it is needed for updating
the makefile when --update is called.
- List the modules which have been enabled in the "configuration
complete" message.
- Silence some harmless warnings about installing PEM files which
don't exist.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions