From 26061fbd337fbcfb6255def88ef4f0573c090702 Mon Sep 17 00:00:00 2001 From: Alejandro Colomar Date: Sun, 19 Jun 2022 19:55:58 +0200 Subject: [PATCH] Makefile: SHELL: Use a portable bash MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Reported-by: Ahelenia Ziemiańska Signed-off-by: Alejandro Colomar --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 9beca11def..cb1466370f 100644 --- a/Makefile +++ b/Makefile @@ -28,7 +28,7 @@ # ######################################################################## -SHELL := /bin/bash -Eeuo pipefail +SHELL := /usr/bin/env bash -Eeuo pipefail MAKEFLAGS += --no-print-directory -- 2.47.2