www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs
commit 801e49308f813dca0321bc46b4d8025ecb187460
parent d78efe46baf84bfc5f06537146fa9e2a35364edc
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Tue, 11 Sep 2018 19:19:23 +0200

Use bash with some options as the makefile shell so that recipes fail early

Diffstat:

MMakefile | 1+


1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/Makefile b/Makefile
@@ -1,3 +1,4 @@
+SHELL = bash -euET -o pipefail -c
 tmp_image := $(shell echo $$$$)
 
 all: hello.nar hello.sizes signing-key.pub vm-image Makefile