# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 874845169 0
# Node ID 07e5f3623def1b2b857351506fa78e145f761954
# Parent  be32396bfb04fcad320ff87e09adff18b428b3a0
(making links to `src'): Keep timestamp on copied files.

diff -r be32396bfb04 -r 07e5f3623def make-dist
--- a/make-dist	Sat Sep 20 23:20:37 1997 +0000
+++ b/make-dist	Sun Sep 21 12:32:49 1997 +0000
@@ -344,12 +344,12 @@
      # test -f appears to succeed for a symlink
      if test -L ../${tempdir}/src/$file; then
        rm ../${tempdir}/src/$file
-       cp $file ../${tempdir}/src
+       cp -p $file ../${tempdir}/src
        chmod a-w ../${tempdir}/src/$file
      fi
    else
      rm ../${tempdir}/src/$file
-     cp $file ../${tempdir}/src
+     cp -p $file ../${tempdir}/src
      chmod a-w ../${tempdir}/src/$file
    fi
  done