1.1 --- a/Admin/isatest/isatest-makedist	Fri Jun 10 17:30:23 2011 +0200
     1.2 +++ b/Admin/isatest/isatest-makedist	Fri Jun 10 17:37:50 2011 +0200
     1.3 @@ -59,7 +59,7 @@
     1.4  
     1.5  echo "### building distribution"  >> $DISTLOG 2>&1
     1.6  mkdir -p $DISTPREFIX
     1.7 -$MAKEDIST >> $DISTLOG 2>&1
     1.8 +$MAKEDIST -j "/home/isabelle/contrib_devel/jedit_build-20110521" >> $DISTLOG 2>&1
     1.9  
    1.10  if [ $? -ne 0 ]
    1.11  then