lib: fix update_file timestamps
commite5f5e535adec83b146bfc921d9005ecf6a846464
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 29 Oct 2017 20:00:55 +0000 (29 13:00 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 29 Oct 2017 20:01:15 +0000 (29 13:01 -0700)
tree9fc36a8a9bbed00b482c882c676f65bf03c70fe5
parentb0ee838e1193899d28f0bfb51192a02d48e4b472
lib: fix update_file timestamps

Problem reported by Bruno Haible in:
https://savannah.gnu.org/support/?109406
* lib/Autom4te/FileUtils.pm (update_file): Use rename + system
instead of move, since move truncates file timestamps.
lib/Autom4te/FileUtils.pm