From f7178aedfd35c95c43c6a811775cb51e40ffd925 Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Tue, 9 Sep 2025 11:12:22 +0200 Subject: 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. --- prelude.mk | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 prelude.mk (limited to 'prelude.mk') 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 -- cgit v1.2.3