diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2016-07-24 11:52:04 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2016-08-10 23:18:04 +0200 |
| commit | 9ffbac99e52c91182ed8ff8678a994626b194e69 (patch) | |
| tree | 33a3065006ddf005fb8bd09e4d751df06bfc5a74 /.gitignore | |
| parent | 7ec343309b7bc6001b465c870609b3c570026149 (diff) | |
ensure all configures are reported to hook scripts
A planner might not explicitly configure all packages, but we need to
know all packages which will be configured for progress reporting and to
tell the hook scripts about them as they rely on this for their own
functionality.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions