diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-12 15:27:40 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-12 15:27:40 +0200 |
commit | 4c7bb136ac8c1c1cd47942ad7fe8257b20997871 (patch) | |
tree | 27353008ece9a85fb7ef6b6106c338b432bda004 /bbot/buildfile | |
parent | 50579107e3f628c2e3c644d5af01ef67404a0f2a (diff) |
Complete agent side of machine bootstrap
Diffstat (limited to 'bbot/buildfile')
-rw-r--r-- | bbot/buildfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bbot/buildfile b/bbot/buildfile index 5498458..311775d 100644 --- a/bbot/buildfile +++ b/bbot/buildfile @@ -67,7 +67,7 @@ if $cli.configured # Usage options. # cli.options += --suppress-undocumented --long-usage --ansi-color \ ---page-usage 'bbot::print_$name$_' --option-length 20 +--page-usage 'bbot::print_$name$_' --option-length 23 # Include generated cli files into the distribution. # |