diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2025-08-14 14:47:29 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2025-08-14 14:47:29 +0200 |
| commit | 74862bd729ef5aacce0efbe8c05394ef82454f01 (patch) | |
| tree | c5865c87e5af3f5fb49de46d19e2e3f45c8421e3 /prelude.mk | |
| parent | f90db992568e4ef76f3c770f1b38a31e54c94515 (diff) | |
Add GNUmakefile.
Diffstat (limited to 'prelude.mk')
| -rw-r--r-- | prelude.mk | 13 |
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: |