diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-22 12:45:50 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-22 12:45:50 +0200 |
| commit | 3ea6e51b28a06ad4c8b70e9f4d206a56e4771027 (patch) | |
| tree | fa51f54b2ed460b5544ac0153389d1380e991189 /bbot | |
| parent | 1fc77270c6af777adb80e1df917da7dc36c75d14 (diff) | |
Rename directory/option environment to environments
To be consistent with machines/ and toolchains/
Diffstat (limited to 'bbot')
| -rw-r--r-- | bbot/worker.cli | 2 | ||||
| -rw-r--r-- | bbot/worker.cxx | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/bbot/worker.cli b/bbot/worker.cli index 61d3f4c..56c7c6b 100644 --- a/bbot/worker.cli +++ b/bbot/worker.cli @@ -69,7 +69,7 @@ namespace bbot current working directory is used." } - dir_path --environment + dir_path --environments { "<dir>", "The directory containing the environment setup executables. If not diff --git a/bbot/worker.cxx b/bbot/worker.cxx index 25ceede..382e334 100644 --- a/bbot/worker.cxx +++ b/bbot/worker.cxx @@ -551,8 +551,8 @@ try // try { - env_dir = ops.environment_specified () - ? ops.environment () + env_dir = ops.environments_specified () + ? ops.environments () : dir_path::home_directory (); if (!dir_exists (env_dir)) |