diff options
Diffstat (limited to 'bbot/agent.cli')
| -rw-r--r-- | bbot/agent.cli | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/bbot/agent.cli b/bbot/agent.cli index b71db4e..497b841 100644 --- a/bbot/agent.cli +++ b/bbot/agent.cli @@ -48,7 +48,7 @@ namespace bbot "Toolchain name, \cb{default} by default." } - size_t --toolchain-num = 1 + uint16_t --toolchain-num = 1 { "<num>", "Toolchain number, 1 by default." @@ -92,6 +92,13 @@ namespace bbot "The location of the TFTP server root, \cb{/build/tftp/} by default." } + uint16_t --tftp-port = 23400 + { + "<num>", + "TFTP server port base, 23400 by default. The actual port is calculated + by adding the toolchain number \c{--toolchain-num} to this value." + } + size_t --bootstrap-timeout = 600 { "<sec>", |