From bf7265f5778d089c109436fe736a54ff810511b7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=89douard=20Lopez?= Date: Thu, 25 Jan 2024 15:47:20 +0100 Subject: [PATCH] chore: use robust bash resolution in makefile --- makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefile b/makefile index a4368e57..68226608 100644 --- a/makefile +++ b/makefile @@ -1,7 +1,7 @@ #!/usr/bin/make -sf # force use of Bash -SHELL := /bin/bash +SHELL := /usr/bin/env bash INTERACTIVE=true