aboutsummaryrefslogtreecommitdiff
path: root/mod/options.cli
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2018-12-24 23:05:35 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2019-01-10 13:35:28 +0300
commit5cee038743e1e149226d5b0b1a68a782182a4e33 (patch)
treed9d4d96074c67184c6cbf1bfbb398af88067b2c9 /mod/options.cli
parent080c6778e89029560a6daf00605ec212ef9f39ee (diff)
Add filter to Build Configurations page
Diffstat (limited to 'mod/options.cli')
-rw-r--r--mod/options.cli5
1 files changed, 5 insertions, 0 deletions
diff --git a/mod/options.cli b/mod/options.cli
index 93f2ead..8191674 100644
--- a/mod/options.cli
+++ b/mod/options.cli
@@ -738,6 +738,11 @@ namespace brep
class build_configs
{
+ // Note that the build-configs parameter is renamed to '_' by the root
+ // handler (see the request_proxy class for details).
+ //
+ string class_name | _ = "all";
+
// Display build configurations list starting from this page.
//
uint16_t page | p;