Distribute all lib/* source files through EXTRA_DIST.
[gnulib.git] / modules / poll
1 Description:
2 poll() function: wait for some event on a set of file descriptors.
3
4 Files:
5 lib/poll.c
6 lib/poll_.h
7 m4/poll.m4
8
9 Depends-on:
10
11 configure.ac:
12 gl_FUNC_POLL
13
14 Makefile.am:
15 BUILT_SOURCES += $(POLL_H)
16 EXTRA_DIST += poll_.h poll.c
17
18 # We need the following in order to create <poll.h> when the system
19 # doesn't have one.
20 poll.h: poll_.h
21         { echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
22           cat $(srcdir)/poll_.h; \
23         } > $@-t
24         mv -f $@-t $@
25 MOSTLYCLEANFILES += poll.h poll.h-t
26
27 Include:
28 #include <poll.h>
29
30 License:
31 LGPL
32
33 Maintainer:
34 Paolo Bonzini  <bonzini@gnu.org>