diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-11-23 10:06:54 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-11-23 10:06:54 +0200 |
commit | 1f7d34d2c5c4cd552e1a20658d64c51b5df909d1 (patch) | |
tree | cdedd876424ffce51d0a394f482f4a9c9808bf02 /build | |
parent | d52c1fb406b1cef82c5f5a28fc1804d7d99a49d8 (diff) |
By default leave the cli module unconfigured
So that we don't pick up so system-installed version of the cli compiler.
Diffstat (limited to 'build')
-rw-r--r-- | build/bootstrap.build | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/build/bootstrap.build b/build/bootstrap.build index 7c5dd61..efa4115 100644 --- a/build/bootstrap.build +++ b/build/bootstrap.build @@ -14,7 +14,14 @@ dist.package = $project-$version if ($revision != 0) dist.package += +$revision +# By default leave the cli module unconfigured since we don't want to use some +# system-installed cli. Note that this value will be overridden if set both on +# the command line or in config.build. +# +config.cli = false + using config + using dist using test using install |