Merge pull request clong#542 from clong/refix-ci

Verify CI Pipeline Build
gregclermont · Nov 1, 2020 · 4e42131 · 4e42131
2 parents 54dadd1 + 2c1f422
commit 4e42131
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/build_machine_bootstrap.sh b/ci/build_machine_bootstrap.sh
@@ -119,7 +119,7 @@ vagrant_up_host() {
   HOST="$1"
   (echo >&2 "Attempting to bring up the $HOST host using Vagrant")
   cd "$DL_DIR"/Vagrant || exit 1
-  $(which vagrant) up "$HOST" --provider="$PROVIDER" &> "$DL_DIR/Vagrant/vagrant_up_$HOST.log"
+  $(which vagrant) up "$HOST" &> "$DL_DIR/Vagrant/vagrant_up_$HOST.log"
   echo "$?"
 }