Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest/isatest-makedist
changeset 27084 654bf12de98b
parent 26727 b0d3e33c5093
child 27308 b915a10a616a 
--- a/Admin/isatest/isatest-makedist	Thu Jun 05 00:52:22 2008 +0200
+++ b/Admin/isatest/isatest-makedist	Thu Jun 05 09:01:17 2008 +0200
@@ -13,7 +13,7 @@
 
 MAKEDIST=$HOME/bin/makedist
 MAKEALL=$HOME/bin/isatest-makeall
-TAR=gtar
+TAR=tar
 CVS2CL="$HOME/bin/cvs2cl --follow-only TRUNK"
 
 SSH="ssh -f"
isabelle