# HG changeset patch
# User kleing
# Date 1222740415 -7200
# Node ID 4ffb62675ade72004ba554f10a02d143ccbaf98c
# Parent  74e580c6f2b5facfae244ebb42977a11998346b8
slightly different command line for makedist_mercurial

diff -r 74e580c6f2b5 -r 4ffb62675ade Admin/isatest/isatest-makedist
--- 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