diff options
| author | Julien Dessaux | 2024-02-28 00:13:36 +0100 |
|---|---|---|
| committer | Julien Dessaux | 2024-02-28 00:13:36 +0100 |
| commit | 4df03f32421184e6bba8e5039f35d507407b8ea2 (patch) | |
| tree | 2290d2ae143735d51947e6bef60457582b08883a | |
| parent | Fixed PublishDate inconsistencies in my custom theme (diff) | |
| download | www-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
| -rw-r--r-- | GNUmakefile | 1 |
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: |