fixup: restore deleted line

diff --git a/make.mk b/make.mk
index 3424f9c9274bfc515fc1c3f7edf593a0764361f7..d8e2bf8a391d93410cf52a06d1fbb2f3c12a296c 100644 (file)
--- 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