aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index a6598dd..74ae149 100644
--- a/Makefile
+++ b/Makefile
@@ -5,6 +5,8 @@
# License: See LICENSE file.
#
+SHELL := bash
+.SHELLFLAGS := -eu -o pipefail -c
MAKEFLAGS += --warn-undefined-variables
MAKEFLAGS += --no-builtin-rules