ci: speed up Windows phase

diff --git a/configure.ac b/configure.ac
index 44e8c036b6ec417e95ca4e5c2861785900d8634c..e0d0da3c0c9bccb0b6b1b1a5a3db0097f4f10757 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -789,6 +789,12 @@ AC_CHECK_HEADER([sys/select.h],
 [NO_SYS_SELECT_H=UnfortunatelyYes])
 GIT_CONF_SUBST([NO_SYS_SELECT_H])
 #
+# Define NO_POLL_H if you don't have poll.h
+AC_CHECK_HEADER([poll.h],
+[NO_POLL_H=],
+[NO_POLL_H=UnfortunatelyYes])
+GIT_CONF_SUBST([NO_POLL_H])
+#
 # Define NO_SYS_POLL_H if you don't have sys/poll.h
 AC_CHECK_HEADER([sys/poll.h],
 [NO_SYS_POLL_H=],