Admin/isatest/isatest-makedist
changeset 48608 88ff12baccba
parent 48259 1635298d8fe7
child 48635 bfce940c6f38
     1.1 --- a/Admin/isatest/isatest-makedist	Mon Jul 30 16:03:25 2012 +0200
     1.2 +++ b/Admin/isatest/isatest-makedist	Mon Jul 30 16:40:21 2012 +0200
     1.3 @@ -60,7 +60,7 @@
     1.4  
     1.5  echo "### building distribution"  >> $DISTLOG 2>&1
     1.6  mkdir -p $DISTPREFIX
     1.7 -$MAKEDIST -j "/home/isabelle/contrib_devel/jedit_build-20120414" >> $DISTLOG 2>&1
     1.8 +$MAKEDIST -D -j "/home/isabelle/contrib_devel/jedit_build-20120414" >> $DISTLOG 2>&1
     1.9  
    1.10  if [ $? -ne 0 ]
    1.11  then
    1.12 @@ -105,13 +105,13 @@
    1.13  sleep 15
    1.14  $SSH lxbroy3 "
    1.15    $MAKEALL $HOME/settings/at64-poly;
    1.16 -  $MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
    1.17 +  $MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e"
    1.18  sleep 15
    1.19  $SSH macbroy23 "$MAKEALL $HOME/settings/at-poly-e"
    1.20  sleep 15
    1.21  $SSH macbroy2 "
    1.22 -  $MAKEALL -l . full $HOME/settings/mac-poly64-M4;
    1.23 -  $MAKEALL -l . full $HOME/settings/mac-poly64-M8;
    1.24 +  env ISABELLE_BENCHMARK=true $MAKEALL $HOME/settings/mac-poly64-M4;
    1.25 +  env ISABELLE_BENCHMARK=true $MAKEALL $HOME/settings/mac-poly64-M8;
    1.26    $MAKEALL $HOME/settings/mac-poly-M4;
    1.27    $MAKEALL $HOME/settings/mac-poly-M8"
    1.28  sleep 15