module: improve Makefile's oneshell mode

2020-08-09 14:42:45 +02:00 · 2020-08-09 14:42:45 +02:00 · e95d4427b5
parent f5299f33b4
commit e95d4427b5
1 changed files with 2 additions and 1 deletions
--- a/3
+++ b/3
@ -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