aboutsummaryrefslogtreecommitdiff
path: root/build2/b.cli
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2019-08-19 23:28:03 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2019-08-21 21:16:24 +0300
commited6432add13b0ee9c35a9bbd261e068969f0462d (patch)
treee73ec22acf06cf2feffc31b2b8bd3ef2a86ead95 /build2/b.cli
parent91734f1772aeca9795040d2db03b4f29051fa922 (diff)
Make testscripts to ignore user's default options files
Diffstat (limited to 'build2/b.cli')
-rw-r--r--build2/b.cli6
1 files changed, 6 insertions, 0 deletions
diff --git a/build2/b.cli b/build2/b.cli
index f0ddb93..bf3bf4d 100644
--- a/build2/b.cli
+++ b/build2/b.cli
@@ -622,6 +622,12 @@ namespace build2
specify multiple pager options."
}
+ dir_path --default-options
+ {
+ "<dir>",
+ "The directory to load additional default options files from."
+ }
+
bool --no-default-options
{
"Don't load default options files."