diff options
Diffstat (limited to 'build2/b.cli')
| -rw-r--r-- | build2/b.cli | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/build2/b.cli b/build2/b.cli index 57640b6..a03e9cc 100644 --- a/build2/b.cli +++ b/build2/b.cli @@ -535,6 +535,13 @@ namespace build2 useful for profiling." } + bool --no-external-modules + { + "Don't load external modules during project bootstrap. Note that this + option can only be used with meta-operations that do not load the + project's \cb{buildfiles}, such as \cb{info}." + } + bool --structured-result { "Write the result of execution in a structured form. In this mode, |