This series includes a few minor improvements to buildman:
- Cleaner output and updates on what buildman is doing at the start - a way to generate only the CONFIG options in a build, for speed (-D) - a fix for pressing Ctrl-C during a build (so that it exits cleanly).
(all but the second is now applied)
Changes in v2: - Rebase to mainline with Masahiro's changes - Fix failure to reconfigure when needed - Drop patches previously applied
Simon Glass (4): Makefile: Add a target to create the .cfg files buildman: Add an option to just create the config buildman: Add documentation for CONFIG checking buildman: Squash useless output from -K
Makefile | 3 +++ tools/buildman/README | 49 +++++++++++++++++++++++++++++++++++++++++ tools/buildman/builder.py | 37 +++++++++++++++++++++---------- tools/buildman/builderthread.py | 14 +++++++----- tools/buildman/cmdline.py | 4 ++++ tools/buildman/control.py | 4 +++- 6 files changed, 93 insertions(+), 18 deletions(-)