Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added detection for GNU cp
authorhaftmann
Sun, 05 Jun 2005 16:09:48 +0200
changeset 16280 d7f8c48d5acb
parent 16279 4cc37b145b97
child 16281 de9815628d33
added detection for GNU cp
Admin/cvs-copy file | annotate | diff | comparison | revisions 
--- a/Admin/cvs-copy	Sun Jun 05 16:07:22 2005 +0200
+++ b/Admin/cvs-copy	Sun Jun 05 16:09:48 2005 +0200
@@ -63,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
isabelle