diff options
Diffstat (limited to 'bbot/agent/agent.cxx')
| -rw-r--r-- | bbot/agent/agent.cxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bbot/agent/agent.cxx b/bbot/agent/agent.cxx index ff772bf..31becd3 100644 --- a/bbot/agent/agent.cxx +++ b/bbot/agent/agent.cxx @@ -1274,6 +1274,7 @@ try dr << info << "auth key fp " << *fingerprint; dr << + info << "interactive " << to_string (ops.interactive()) << info << "toolchain name " << tc_name << info << "toolchain num " << tc_num << info << "toolchain ver " << tc_ver.string () << |