Mark generated files as "DO NOT EDIT".

[pspp] / modules / poll

diff --git a/modules/poll b/modules/poll
index 9784c43414fa89a2443b3d1e5d6bd3af0d56845b..9fad24d1a0cf22dfd30b0295538677ed07ae49f4 100644 (file)
--- 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