aboutsummaryrefslogtreecommitdiff
path: root/mod/options.cli
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2019-02-27 23:06:46 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2019-02-28 20:18:39 +0300
commitd4aef182ebc55091c02659b7549487d928eaec28 (patch)
tree881d1d8bedbc7f88fe22a9437cce6433cfd7122d /mod/options.cli
parent8054f2973d453b71806f52f0bb30725cb31d64dd (diff)
Build packages for different toolchains having same version but different names
Diffstat (limited to 'mod/options.cli')
-rw-r--r--mod/options.cli6
1 files changed, 5 insertions, 1 deletions
diff --git a/mod/options.cli b/mod/options.cli
index ae7a00f..01309dc 100644
--- a/mod/options.cli
+++ b/mod/options.cli
@@ -665,9 +665,13 @@ namespace brep
//
string configuration | cf;
+ // Toolchain name.
+ //
+ string toolchain_name | tn;
+
// Toolchain version. May not be url-encoded (see above).
//
- string toolchain_version | tc;
+ string toolchain_version | tv;
// Package rebuild reason. Must not be empty.
//