Makefile: replace include/None.mk with /dev/null

2024-08-13 11:56:09 -06:00
parent e0c985f7ff
commit 0c4923016e
2 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -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)/.