X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=modules%2Fpoll;h=9784c43414fa89a2443b3d1e5d6bd3af0d56845b;hb=e2b32fd06585da0807fe10045e70799cc5c8252f;hp=f4de479d977719ba90568c4fea54b158ebfe0216;hpb=d1aadab21bf8755e0fb75a838dc650e73f6ee78d;p=gnulib.git diff --git a/modules/poll b/modules/poll index f4de479d9..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-x $@-t - mv $@-t $@ + cp -f $(srcdir)/poll_.h $@-t + mv -f $@-t $@ MOSTLYCLEANFILES += poll.h poll.h-t Include: