diff options
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."} }; |