From: George Hahn <george.hahn.vhs@gmail.com>
Date: Tue, 10 May 2022 06:42:43 +0000 (-0600)
Subject: fixup: restore deleted line
X-Git-Url: https://git.earman.xyz/?a=commitdiff_plain;h=190dca0a777a8961460faaf993c9e34f921a9a1a;p=sensor-watch.git

fixup: restore deleted line
---

diff --git a/make.mk b/make.mk
index 3424f9c..d8e2bf8 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