+BUILT_SOURCES += $(POLL_H)
+
+# We need the following in order to create <poll.h> when the system
+# doesn't have one.
+poll.h: poll_.h
+ { echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
+ cat $(srcdir)/poll_.h; \
+ } > $@-t
+ mv -f $@-t $@
+MOSTLYCLEANFILES += poll.h poll.h-t