diff options
| -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 5a709c6..d688b7c 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 ======= |