Fixed makefile

-o pipefail is a bashism and does not work with
/bin/sh (dash) on debian
This commit is contained in:
Julien Dessaux 2024-02-28 00:13:36 +01:00
parent 5e4d09a6d7
commit 4df03f3242
Signed by: adyxax
GPG key ID: F92E51B86E07177E

View file

@ -1,3 +1,4 @@
SHELL := bash
.SHELLFLAGS := -eu -o pipefail -c .SHELLFLAGS := -eu -o pipefail -c
.ONESHELL: .ONESHELL:
.DELETE_ON_ERROR: .DELETE_ON_ERROR: