isatest/makedist: build Isabelle/jEdit;
authorwenzelm
Fri Jun 10 17:37:50 2011 +0200 (2011-06-10)
changeset 43358ff6cfa33c653
parent 43357 07889e32bc58
child 43359 2db277c6d506
isatest/makedist: build Isabelle/jEdit;
Admin/isatest/isatest-makedist
     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