From 11f29bba5eac525b0dcc100b8d93284bacd48f57 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Emmanuel=20BENO=C3=8ET?= Date: Fri, 19 Jul 2024 17:52:26 +0200 Subject: [PATCH] fix: use Bash in the makefile --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index f79fb35..5b3c9d0 100644 --- a/Makefile +++ b/Makefile @@ -24,6 +24,9 @@ endif LDFLAGS += -X nocternity.net/gomonop/pkg/version.commit=${GIT_COMMIT} LDFLAGS += -X nocternity.net/gomonop/pkg/version.status=${GIT_STATUS} +# Use bash as the shell, mostly for -o pipefail +SHELL = /usr/bin/env bash + .PHONY: all all: build