Rolf Eike Beer 5b96fd5b81 use cmSystemTools::MoveFileIfDifferent()
This is better than doing CopyFileIfDifferent() followed by RemoveFile() in
two ways:

 - it is more efficient, as it avoids disk I/O for the data, even if the
   files here are usually small
 - it is atomic, so an abort during the copy will not leave a destination file
   with partial data behind
2019-09-09 10:34:08 +02:00
..
2019-09-06 12:38:04 -04:00
2019-08-23 08:43:35 -04:00
2019-08-23 08:43:35 -04:00
2019-09-04 18:03:01 +02:00
2019-09-09 00:01:04 -04:00
2019-08-27 10:54:24 -04:00
2019-09-04 18:03:01 +02:00
2019-08-19 20:01:39 +02:00
2019-09-06 12:38:04 -04:00
2019-08-19 20:01:39 +02:00
2019-08-22 13:10:18 -04:00