From 5b3a36c60c81e17a61988f45258a2e73eacfe663 Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Fri, 30 Jun 2023 12:06:34 +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 9be715b..6468831 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