diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2019-08-19 23:41:49 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2019-08-22 12:52:58 +0300 |
commit | a37431f8109cb67937ad5356e8209a7151ad5a61 (patch) | |
tree | ff0f37fbf7d1bb9a36a9349a67676d9d145bdee4 /bdep/common.cli | |
parent | 1508c382589fe62b7d8829c9cd23ba5ab4bdf913 (diff) |
Make testscripts to ignore user's default options files
Diffstat (limited to 'bdep/common.cli')
-rw-r--r-- | bdep/common.cli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bdep/common.cli b/bdep/common.cli index c08d873..4dd18b0 100644 --- a/bdep/common.cli +++ b/bdep/common.cli @@ -213,6 +213,12 @@ namespace bdep to specify more than one options file." } + dir_path --default-options + { + "<dir>", + "The directory to load additional default options files from." + } + bool --no-default-options { "Don't load default options files." |