X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fbind;h=5c4595ffda11e2162d7e2013b2af1cd3dbe14352;hb=39e1adf83f9afbbc1ab9edbd6ca3d509c1f1bec4;hp=050f0e65c78ad61458982070d5cd8517fc0d85fc;hpb=11ee0e1340f95ccb9954e522f6e003b3125eb109;p=pspp

diff --git a/modules/bind b/modules/bind
index 050f0e65c7..5c4595ffda 100644
--- a/modules/bind
+++ b/modules/bind
@@ -7,7 +7,7 @@ lib/w32sock.h
 
 Depends-on:
 sys_socket
-errno
+errno           [test "$ac_cv_header_winsock2_h" = yes]
 
 configure.ac:
 AC_REQUIRE([gl_HEADER_SYS_SOCKET])