From bbd5a72d13ec8de24eb0e4be48e3b978931aba54 Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Fri, 30 Jun 2023 10:33:47 +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 630c16b..7cda09c 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