X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=modules%2Fpoll;h=9784c43414fa89a2443b3d1e5d6bd3af0d56845b;hb=e2b32fd06585da0807fe10045e70799cc5c8252f;hp=87454c5c66e918f27df7982df3e7f930b09a9e4c;hpb=f110f8c4810ee8acf04df527cba30413f709648f;p=gnulib.git diff --git a/modules/poll b/modules/poll index 87454c5c6..9784c4341 100644 --- a/modules/poll +++ b/modules/poll @@ -18,10 +18,8 @@ EXTRA_DIST += poll_.h # We need the following in order to create when the system # doesn't have one. poll.h: poll_.h - rm -f $@-t $@ - cp $(srcdir)/poll_.h $@-t - chmod a-w $@-t - mv $@-t $@ + cp -f $(srcdir)/poll_.h $@-t + mv -f $@-t $@ MOSTLYCLEANFILES += poll.h poll.h-t Include: