# HG changeset patch
# User haftmann
# Date 1117980442 -7200
# Node ID 4cc37b145b97868f2be1fdaaf0c7ed6b2b88bbbb
# Parent  dda44b201c4d97d72db11c9c2e757d3e679ed61c
added detection for GNU cp

diff -r dda44b201c4d -r 4cc37b145b97 Admin/cvs-copy
--- a/Admin/cvs-copy	Sun Jun 05 15:04:23 2005 +0200
+++ b/Admin/cvs-copy	Sun Jun 05 16:07:22 2005 +0200
@@ -34,6 +34,12 @@
 TODIR="$1"; shift
 
 
+## GNU cp required
+
+CP=cp
+type -path gcp >/dev/null && CP=gcp
+
+
 ## main
 
 function copy ()
@@ -57,7 +63,7 @@
           copy "${PREFIX}$NAME/" || return "$?"
         else
           { [ ! -d "$TODIR/${PREFIX}$NAME" ] && \
-            cp -af "$FROMDIR/${PREFIX}$NAME" "$TODIR/${PREFIX}$NAME"; } || \
+            $(CP) -af "$FROMDIR/${PREFIX}$NAME" "$TODIR/${PREFIX}$NAME"; } || \
           fail "Cannot install '$TODIR/${PREFIX}$NAME'"
         fi
       fi