diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2019-08-16 22:39:07 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2019-08-17 13:07:36 +0300 |
commit | bf2cf8cd53361826e51e01c2904f6fb4cb7502dc (patch) | |
tree | 534dc598757f42e6daff0107f4bfe533d6bf27a5 /build2/b.cli | |
parent | 3712363ddf1be71b38321d2dde57d88f01a28afb (diff) |
Add support for default options files
Diffstat (limited to 'build2/b.cli')
-rw-r--r-- | build2/b.cli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build2/b.cli b/build2/b.cli index 4ab397b..f0ddb93 100644 --- a/build2/b.cli +++ b/build2/b.cli @@ -622,6 +622,11 @@ namespace build2 specify multiple pager options." } + bool --no-default-options + { + "Don't load default options files." + } + bool --help {"Print usage information and exit."} bool --version {"Print version and exit."} }; |