fixup: restore deleted line

2022-05-10 00:42:43 -06:00
1 parent 0ab63691f2
commit 190dca0a77
@@ -24,6 +24,7 @@ else
 endif
 $(if ${VERBOSE},$(info OS detected: $(DETECTED_OS)))

+ifeq ($(OS), Windows_NT)
  MKDIR = gmkdir
 else
  MKDIR = mkdir