(copy_reg): Don't exit upon finding a replaced file.

Instead, just skip it like the diagnostic says.
Reported by Paul Eggert.

diff --git a/src/copy.c b/src/copy.c
index 6ce0a2bc4c0c84bc4508bb36a9cf828206e9ba8d..017adf8d2e7088d73eed0322f4c3955c6dbb749b 100644 (file)
--- a/src/copy.c
+++ b/src/copy.c
@@ -234,7 +234,7 @@ copy_reg (const char *src_path, const char *dst_path,
      saved ones obtained via a previous call to stat.  */
   if (! SAME_INODE (*src_sb, src_open_sb))
     {
-      error (EXIT_FAILURE, 0,
+      error (0, 0,
             _("skipping file %s, as it was replaced while being copied"),
             quote (src_path));
       return_val = -1;