.

[gnulib.git] / modules / poll

diff --git a/modules/poll b/modules/poll
index eaa2893..9784c43 100644 (file)
--- a/modules/poll
+++ b/modules/poll
@@ -18,15 +18,15 @@ 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 $(srcdir)/poll_.h $@-t
-       mv $@-t $@
+       cp -f $(srcdir)/poll_.h $@-t
+       mv -f $@-t $@
 MOSTLYCLEANFILES += poll.h poll.h-t
 
 Include:
 #include <poll.h>
 
 License:
-GPL
+LGPL
 
 Maintainer:
 Paolo Bonzini  <bonzini@gnu.org>