From 8a5b2b4c62307aadbcd728b1beca7ff1160d9929 Mon Sep 17 00:00:00 2001 From: Ashley Davis Date: Wed, 1 Jun 2022 12:32:41 +0100 Subject: [PATCH] change default shell to use /usr/bin/env Signed-off-by: Ashley Davis --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: