From e95d4427b56572831b8fe86e581c549454fb74b2 Mon Sep 17 00:00:00 2001 From: cn Date: Sun, 9 Aug 2020 14:42:45 +0200 Subject: [PATCH] module: improve Makefile's oneshell mode --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 5587d2c..1301337 100644 --- a/Makefile +++ b/Makefile @@ -2,8 +2,9 @@ # https://tech.davis-hansson.com/p/make/ SHELL := bash .ONESHELL: -.SHELLFLAGS := -eu -o pipefail -c +.SHELLFLAGS := -eux -o pipefail -c .DELETE_ON_ERROR: +.SILENT: .DEFAULT_GOAL := all MAKEFLAGS += --warn-undefined-variables MAKEFLAGS += --no-builtin-rules