aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJulien Dessaux2024-02-28 00:13:36 +0100
committerJulien Dessaux2024-02-28 00:13:36 +0100
commit4df03f32421184e6bba8e5039f35d507407b8ea2 (patch)
tree2290d2ae143735d51947e6bef60457582b08883a /GNUmakefile
parentFixed PublishDate inconsistencies in my custom theme (diff)
downloadwww-4df03f32421184e6bba8e5039f35d507407b8ea2.tar.gz
www-4df03f32421184e6bba8e5039f35d507407b8ea2.tar.bz2
www-4df03f32421184e6bba8e5039f35d507407b8ea2.zip
Fixed makefile
-o pipefail is a bashism and does not work with /bin/sh (dash) on debian
Diffstat (limited to 'GNUmakefile')
-rw-r--r--GNUmakefile1
1 files changed, 1 insertions, 0 deletions
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: