diff options
author | Bruno Haible <bruno@clisp.org> | 2006-10-07 14:54:51 +0000 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2006-10-07 14:54:51 +0000 |
commit | e8886c908325158b4e127ac82fbc4fb8918aad85 (patch) | |
tree | 98bc6c497b51b49e3af48e4927646baa68d54844 /modules/poll | |
parent | c5ce79f4c514b37b5756e85530112d778cff302a (diff) | |
download | gnulib-e8886c908325158b4e127ac82fbc4fb8918aad85.tar.gz |
Mark generated files as "DO NOT EDIT".
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 |