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 28418 4ffb62675ade
parent 28387 f77f54f55319
child 28539 bdb308737bfd 
--- 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