diff --git a/testing/benchmark/Makefile b/testing/benchmark/Makefile index 156d3b6893f..13a832e39c1 100644 --- a/testing/benchmark/Makefile +++ b/testing/benchmark/Makefile @@ -24,6 +24,9 @@ SSH_OPTS ?= -o LogLevel=ERROR -o StrictHostKeyChecking=no SSH_KEY ?= ~/.ssh/id_rsa_terraform WORKER_IP = $(shell terraform output -raw public_ip) +SHELL = /bin/bash +.SHELLFLAGS = -o pipefail -c + # This profile will also be used by the Terraform provider. export AWS_PROFILE ?= default