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/worker.cxx | |
parent | 1fc77270c6af777adb80e1df917da7dc36c75d14 (diff) |
Rename directory/option environment to environments
To be consistent with machines/ and toolchains/
Diffstat (limited to 'bbot/worker.cxx')
-rw-r--r-- | bbot/worker.cxx | 4 |
1 files changed, 2 insertions, 2 deletions
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)) |