From 0c4923016e72cc534a01e0a21376c20d8994ed0b Mon Sep 17 00:00:00 2001
From: DTB <trinity@trinity.moe>
Date: Tue, 13 Aug 2024 11:56:09 -0600
Subject: [PATCH] Makefile: replace include/None.mk with /dev/null

---
 Makefile        | 2 +-
 include/None.mk | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 delete mode 100644 include/None.mk

diff --git a/Makefile b/Makefile
index 1bdd5c9..5de9618 100644
--- a/Makefile
+++ b/Makefile
@@ -19,7 +19,7 @@ PREFIX ?= /usr/local
 # for conditionally compiling OS features
 OS != uname
 OS_INCLUDE != test -e include/$(OS).mk && printf 'include/$(OS).mk\n' \
-	|| include/None.mk
+	|| printf '/dev/null\n'
 
 # normalized prefix
 PREFIX_N != dirname $(PREFIX)/.
diff --git a/include/None.mk b/include/None.mk
deleted file mode 100644
index e69de29..0000000