diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2019-07-01 14:12:39 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-07-01 14:12:39 +0200 |
| commit | 6387e397d798ee6a9657fb2bf5a660298584d99f (patch) | |
| tree | 9679ecfad76302670ad63b607e5e0c58df19c880 | |
| parent | fde09c92954697fb960767c7606a4a209886c28c (diff) | |
Make unexpected build machine exit warning instead of error
| -rw-r--r-- | bbot/agent/agent.cxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bbot/agent/agent.cxx b/bbot/agent/agent.cxx index 8da46eb..ba1833e 100644 --- a/bbot/agent/agent.cxx +++ b/bbot/agent/agent.cxx @@ -938,7 +938,7 @@ try { } - diag_record dr (error); + diag_record dr (warn); dr << "machine " << xp << " exited unexpectedly"; m->print_info (dr); |