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.
output to log file;
authorwenzelm
Thu, 03 Jul 2008 14:31:19 +0200
changeset 27462 53a350398593
parent 27461 c2bba6a4d750
child 27463 9971758c50be
output to log file;
Admin/Mercurial/convert file | annotate | diff | comparison | revisions 
--- a/Admin/Mercurial/convert	Thu Jul 03 13:17:19 2008 +0200
+++ b/Admin/Mercurial/convert	Thu Jul 03 14:31:19 2008 +0200
@@ -4,8 +4,10 @@
 THIS="$(cd "$(dirname "$0")"; pwd)"
 SUPER="$(cd "$THIS/.."; pwd)"
 
+LOG="$THIS/log"
+
 cd "$THIS/cvs"
-cvs up -dAP || exit 2
+cvs up -dAP >> "$LOG" || exit 2
 
 
 case $(hostname) in
@@ -25,6 +27,6 @@
 export HGRCPATH="$THIS/cvs/Admin/Mercurial/hgrc"
 
 cd "$THIS"
-"$HG" convert --filemap cvs/Admin/Mercurial/filemap cvs hg
+"$HG" convert --filemap cvs/Admin/Mercurial/filemap cvs hg >> "$LOG" || exit 2
 
 [ -e hg/.hg/hgrc ] || ln -s ../../cvs/Admin/Mercurial/hgrc hg/.hg/hgrc
isabelle