From 74862bd729ef5aacce0efbe8c05394ef82454f01 Mon Sep 17 00:00:00 2001
From: Matthias Andreas Benkard <code@mail.matthias.benkard.de>
Date: Thu, 14 Aug 2025 14:47:29 +0200
Subject: Add GNUmakefile.

---
 prelude.mk | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 prelude.mk

(limited to 'prelude.mk')

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:
-- 
cgit v1.2.1