From 692ef07c5a9f57afc15389077e130f1ac128ceea Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Fri, 30 Jun 2023 11:10:38 +0200
Subject: Makefile: move the prelude to prelude.mk

---
 Makefile | 22 +---------------------
 1 file changed, 1 insertion(+), 21 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 07322c9..71dab31 100644
--- a/Makefile
+++ b/Makefile
@@ -1,24 +1,4 @@
-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
+include prelude.mk
 
 .PHONY: DO
 DO:
-- 
cgit v1.2.3