diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2019-02-27 23:06:46 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2019-02-28 20:18:39 +0300 |
commit | d4aef182ebc55091c02659b7549487d928eaec28 (patch) | |
tree | 881d1d8bedbc7f88fe22a9437cce6433cfd7122d /mod/options.cli | |
parent | 8054f2973d453b71806f52f0bb30725cb31d64dd (diff) |
Build packages for different toolchains having same version but different names
Diffstat (limited to 'mod/options.cli')
-rw-r--r-- | mod/options.cli | 6 |
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. // |