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).
Simon Glass (13): 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 patman: Flush output when there is no newline buildman: Tidy up the 'cloning' message buildman: Print a message when removing old directories buildman: Print a message indicating the build is starting buildman: Put our local libraries first in the path buildman: Allow builds to terminate cleanly buildman: Drop the 'active' flag in the builder buildman: Don't show a stacktrace on Ctrl-C buildman: Drop the 'alive' flag in BuilderThread
Makefile | 9 ++++++ scripts/Makefile.spl | 2 ++ tools/buildman/README | 49 +++++++++++++++++++++++++++++ tools/buildman/builder.py | 70 ++++++++++++++++++++++++++++------------- tools/buildman/builderthread.py | 29 +++++++---------- tools/buildman/buildman.py | 2 +- tools/buildman/cmdline.py | 4 +++ tools/buildman/control.py | 4 ++- tools/buildman/test.py | 4 +-- tools/patman/terminal.py | 2 ++ 10 files changed, 132 insertions(+), 43 deletions(-)