X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fbind;h=5c4595ffda11e2162d7e2013b2af1cd3dbe14352;hb=13ebbbd5b53127e51b34532465119c97ec6c23ca;hp=856148a9f131c28493875ee20ebd29a57724d72a;hpb=44656541e5be621a9430633f8c3a4fdea64d284d;p=pspp

diff --git a/modules/bind b/modules/bind
index 856148a9f1..5c4595ffda 100644
--- a/modules/bind
+++ b/modules/bind
@@ -2,16 +2,17 @@ Description:
 bind() function: bind a server socket to a port.
 
 Files:
-lib/winsock.c
+lib/bind.c
+lib/w32sock.h
 
 Depends-on:
 sys_socket
-errno
+errno           [test "$ac_cv_header_winsock2_h" = yes]
 
 configure.ac:
 AC_REQUIRE([gl_HEADER_SYS_SOCKET])
 if test "$ac_cv_header_winsock2_h" = yes; then
-  AC_LIBOBJ([winsock])
+  AC_LIBOBJ([bind])
 fi
 gl_SYS_SOCKET_MODULE_INDICATOR([bind])