diff --git a/Makefile b/Makefile index 07a72d6ed..db975fcd4 100644 --- a/Makefile +++ b/Makefile @@ -15,7 +15,7 @@ # For details on some of these "prelude" settings, see: # https://clarkgrubb.com/makefile-style-guide MAKEFLAGS += --warn-undefined-variables --no-builtin-rules -SHELL := /bin/bash +SHELL := /usr/bin/env bash .SHELLFLAGS := -uo pipefail -c .DEFAULT_GOAL := help .DELETE_ON_ERROR: