From 3ea6e51b28a06ad4c8b70e9f4d206a56e4771027 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Sat, 22 Apr 2017 12:45:50 +0200 Subject: Rename directory/option environment to environments To be consistent with machines/ and toolchains/ --- bbot/worker.cli | 2 +- bbot/worker.cxx | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'bbot') 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 { "", "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)) -- cgit v1.1