From 2b67e15b3d9a940b12e617a39a52c8caeb2ec4dd Mon Sep 17 00:00:00 2001
From: Justine Tunney <jtunney@gmail.com>
Date: Sun, 13 Aug 2023 22:59:33 -0700
Subject: [PATCH] Fix MODE=tinylinux build

---
 libc/calls/winstdin1.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/libc/calls/winstdin1.c b/libc/calls/winstdin1.c
index bd82a32cc..3b1c17da6 100644
--- a/libc/calls/winstdin1.c
+++ b/libc/calls/winstdin1.c
@@ -19,6 +19,7 @@
 #include "libc/calls/calls.h"
 #include "libc/calls/internal.h"
 #include "libc/calls/syscall_support-nt.internal.h"
+#include "libc/dce.h"
 #include "libc/intrin/strace.internal.h"
 #include "libc/nt/createfile.h"
 #include "libc/nt/enum/accessmask.h"
@@ -83,6 +84,7 @@ dontasan dontubsan dontinstrument textwindows void WinMainStdin(void) {
   uint32_t mode;
   char16_t pipename[64];
   int64_t hStdin, hWriter, hReader, hThread, hSemaphore;
+  if (!SupportsWindows()) return;
   hStdin = __imp_GetStdHandle(kNtStdInputHandle);
   if (hStdin == kNtInvalidHandleValue) {
     NTTRACE("<stdin> GetStdHandle failed");