diff options
| author | Simon Glass <sjg@chromium.org> | 2018-12-05 05:35:26 -0700 |
|---|---|---|
| committer | Simon Glass <sjg@chromium.org> | 2019-01-14 17:47:13 -0700 |
| commit | 90a29fcc1f36fb5c05a1eaedb16793c320e00d39 (patch) | |
| tree | 884234f647d142101187dbfdcfdbb9a49b9ac11a /tools | |
| parent | 9814430128cecf316b3e53f766d351bb1680d041 (diff) | |
buildman: Drop comment about Ctrl-C problem
This bug is now fixed, so drop this comment.
Signed-off-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/buildman/README | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/buildman/README b/tools/buildman/README index 5a709c6ff9..d688b7cf00 100644 --- a/tools/buildman/README +++ b/tools/buildman/README @@ -1169,8 +1169,6 @@ access to log files. Also it would be nice if buildman could 'hunt' for problems, perhaps by building a few boards for each arch, or checking commits for changed files and building only boards which use those files. -A specific problem to fix is that Ctrl-C does not exit buildman cleanly when -multiple builder threads are active. Credits ======= |