2007-01-16 Paolo Bonzini <bonzini@gnu.org>

[pspp] / modules / poll

diff --git a/modules/poll b/modules/poll
index 9784c43414fa89a2443b3d1e5d6bd3af0d56845b..23da683aaff1580bde7d8e0e1b07b58d9e1dc06b 100644 (file)
--- a/modules/poll
+++ b/modules/poll
@@ -7,18 +7,20 @@ lib/poll_.h
 m4/poll.m4
 
 Depends-on:
+sys_select
 
 configure.ac:
 gl_FUNC_POLL
 
 Makefile.am:
 BUILT_SOURCES += $(POLL_H)
-EXTRA_DIST += poll_.h
 
 # We need the following in order to create <poll.h> when the system
 # doesn't have one.
 poll.h: poll_.h
-       cp -f $(srcdir)/poll_.h $@-t
+       { echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
+         cat $(srcdir)/poll_.h; \
+       } > $@-t
        mv -f $@-t $@
 MOSTLYCLEANFILES += poll.h poll.h-t