diff options
| author | Egor Tensin <egor@tensin.name> | 2025-09-09 11:12:22 +0200 |
|---|---|---|
| committer | Egor Tensin <egor@tensin.name> | 2025-09-09 11:12:26 +0200 |
| commit | f7178aedfd35c95c43c6a811775cb51e40ffd925 (patch) | |
| tree | 01b2244c232afd3be8f74f6835bad11029317045 /prelude.mk | |
| parent | README: update (diff) | |
| download | maintenance-f7178aedfd35c95c43c6a811775cb51e40ffd925.tar.gz maintenance-f7178aedfd35c95c43c6a811775cb51e40ffd925.zip | |
repurpose the repo
It's no longer a stupid, archived Ansible project; I'm gonna use it to
run GitHub Actions to do maintenance on my stuff.
Diffstat (limited to 'prelude.mk')
| -rw-r--r-- | prelude.mk | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/prelude.mk b/prelude.mk deleted file mode 100644 index 374111e..0000000 --- a/prelude.mk +++ /dev/null @@ -1,23 +0,0 @@ -# Please see https://egort.name/blog/notes/makefile.html - -MAKEFLAGS += --no-builtin-rules --no-builtin-variables --warn-undefined-variables -unexport MAKEFLAGS -.DEFAULT_GOAL := all -.DELETE_ON_ERROR: -.SUFFIXES: -SHELL := bash -.SHELLFLAGS := -eu -o pipefail -c - -escape = $(subst ','\'',$(1)) - -define noexpand -ifeq ($$(origin $(1)),environment) - $(1) := $$(value $(1)) -endif -ifeq ($$(origin $(1)),environment override) - $(1) := $$(value $(1)) -endif -ifeq ($$(origin $(1)),command line) - override $(1) := $$(value $(1)) -endif -endef |