From b1fdcf35dd8e6374dc06c63094897081310ecb85 Mon Sep 17 00:00:00 2001 From: cn Date: Sun, 9 Aug 2020 14:43:39 +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 0e1c718..a9fece6 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