Attempt to fix Windows build by explicitly defining NOGDI.
My hypothesis is that WIN32_LEAN_AND_MEAN is not sufficient for whatever header
is causing StreamExecutor to pull in GDI.
PiperOrigin-RevId: 245998050
diff --git a/configure.py b/configure.py
index 8d6c6e5..b9890d3 100644
--- a/configure.py
+++ b/configure.py
@@ -1261,7 +1261,8 @@
write_to_bazelrc('build --copt=-w --host_copt=-w')
# Fix winsock2.h conflicts
write_to_bazelrc(
- 'build --copt=-DWIN32_LEAN_AND_MEAN --host_copt=-DWIN32_LEAN_AND_MEAN')
+ 'build --copt=-DWIN32_LEAN_AND_MEAN --host_copt=-DWIN32_LEAN_AND_MEAN '
+ '--copt=-DNOGDI --host_copt=-DNOGDI')
# Output more verbose information when something goes wrong
write_to_bazelrc('build --verbose_failures')
# The host and target platforms are the same in Windows build. So we don't