2007-02-05 Paolo Bonzini <bonzini@gnu.org>

[gnulib.git] / modules / poll

diff --git a/modules/poll b/modules/poll
index 18a01dd..0330415 100644 (file)
--- a/modules/poll
+++ b/modules/poll
@@ -7,19 +7,22 @@ lib/poll_.h
 m4/poll.m4
 
 Depends-on:
+sys_select
+sys_time
 
 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 $(srcdir)/poll_.h $@-t
-       mv $@-t $@
+       { echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
+         cat $(srcdir)/poll_.h; \
+       } > $@-t
+       mv -f $@-t $@
 MOSTLYCLEANFILES += poll.h poll.h-t
 
 Include: