From 190dca0a777a8961460faaf993c9e34f921a9a1a Mon Sep 17 00:00:00 2001 From: George Hahn Date: Tue, 10 May 2022 00:42:43 -0600 Subject: fixup: restore deleted line --- make.mk | 1 + 1 file changed, 1 insertion(+) diff --git a/make.mk b/make.mk index 3424f9c9..d8e2bf8a 100644 --- a/make.mk +++ b/make.mk @@ -24,6 +24,7 @@ else endif $(if ${VERBOSE},$(info OS detected: $(DETECTED_OS))) +ifeq ($(OS), Windows_NT) MKDIR = gmkdir else MKDIR = mkdir -- cgit v1.2.3