diff options
Diffstat (limited to 'modules/poll')
| -rw-r--r-- | modules/poll | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/modules/poll b/modules/poll index 9784c43414..9fad24d1a0 100644 --- a/modules/poll +++ b/modules/poll @@ -18,7 +18,9 @@ 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 |