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/ --- etc/bootstrap/bbot-bootstrap.sh | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'etc/bootstrap/bbot-bootstrap.sh') diff --git a/etc/bootstrap/bbot-bootstrap.sh b/etc/bootstrap/bbot-bootstrap.sh index 9473abe..9e7ace8 100755 --- a/etc/bootstrap/bbot-bootstrap.sh +++ b/etc/bootstrap/bbot-bootstrap.sh @@ -35,7 +35,7 @@ run () # cxx=g++ build=/tmp -environment="$HOME/environment" +environments="$HOME/environments" # Parse options. # @@ -57,12 +57,12 @@ while test $# -ne 0; do build="$1" shift ;; - --environment) + --environments) shift if test $# -eq 0; then - error "missing environment directory after --environment" + error "missing environments directory after --environments" fi - environment="$1" + environments="$1" shift ;; *) @@ -90,7 +90,7 @@ export PATH # If we already have the bbot worker, assume we are bootstrapped. # if bbot-worker --version >/dev/null 2>&1; then - exec bbot-worker --startup --build "$build" --environment "$environment" \ + exec bbot-worker --startup --build "$build" --environments "$environments" \ --tftp-host "$tftp" --verbose "$verbose" fi -- cgit v1.1