1 files changed, 13 insertions, 0 deletions
diff --git a/prelude.mk b/prelude.mk
new file mode 100644
index 0000000..0964bfe
--- /dev/null
+++ b/prelude.mk
@@ -0,0 +1,13 @@
+# Settings: Shell
+SHELL = bash
+.SHELLFLAGS = -eu -o pipefail -c
+
+# Settings: Make
+.SECONDEXPANSION:
+.DELETE_ON_ERROR:
+MAKEFLAGS += --warn-undefined-variables
+MAKEFLAGS += --no-builtin-rules
+
+# Special targets
+.PHONY: .REBUILD_ALWAYS
+.REBUILD_ALWAYS: