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.
slightly different command line for makedist_mercurial
authorkleing
Tue, 30 Sep 2008 04:06:55 +0200
changeset 28418 4ffb62675ade
parent 28417 74e580c6f2b5
child 28419 f65e8b318581
slightly different command line for makedist_mercurial
Admin/isatest/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-makedist	Mon Sep 29 21:45:44 2008 +0200
+++ b/Admin/isatest/isatest-makedist	Tue Sep 30 04:06:55 2008 +0200
@@ -61,7 +61,7 @@
 
 echo "### building distribution"  >> $DISTLOG 2>&1
 mkdir -p $DISTPREFIX
-$MAKEDIST - >> $DISTLOG 2>&1
+$MAKEDIST >> $DISTLOG 2>&1
 
 if [ $? -ne 0 ]
 then
isabelle