From 4df03f32421184e6bba8e5039f35d507407b8ea2 Mon Sep 17 00:00:00 2001
From: Julien Dessaux
Date: Wed, 28 Feb 2024 00:13:36 +0100
Subject: Fixed makefile

-o pipefail is a bashism and does not work with
/bin/sh (dash) on debian
---
 GNUmakefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'GNUmakefile')

diff --git a/GNUmakefile b/GNUmakefile
index addf002..959a943 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -1,3 +1,4 @@
+SHELL := bash
 .SHELLFLAGS := -eu -o pipefail -c
 .ONESHELL:
 .DELETE_ON_ERROR:
-- 
cgit v1.2.3