From c8304c5a2bd8bc36f12328206d54714fb107b978 Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Fri, 30 Jun 2023 12:36:27 +0200
Subject: Makefile: move the prelude to prelude.mk

---
 Makefile | 28 +---------------------------
 1 file changed, 1 insertion(+), 27 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index f0e0b49..8d0200f 100644
--- a/Makefile
+++ b/Makefile
@@ -1,30 +1,4 @@
-# Various one-liners which I'm too lazy to remember.
-# Basically a collection of really small shell scripts.
-
-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
-
-.PHONY: DO
-DO:
-
-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
 
 TOOLSET ?= mingw
 CONFIGURATION ?= Debug
-- 
cgit v1.2.3