Admin/isatest/isatest-makedist
changeset 48635 bfce940c6f38
parent 48608 88ff12baccba
child 48790 6e739225dd8a
     1.1 --- a/Admin/isatest/isatest-makedist	Wed Aug 01 15:46:45 2012 +0200
     1.2 +++ b/Admin/isatest/isatest-makedist	Wed Aug 01 15:50:50 2012 +0200
     1.3 @@ -110,8 +110,8 @@
     1.4  $SSH macbroy23 "$MAKEALL $HOME/settings/at-poly-e"
     1.5  sleep 15
     1.6  $SSH macbroy2 "
     1.7 -  env ISABELLE_BENCHMARK=true $MAKEALL $HOME/settings/mac-poly64-M4;
     1.8 -  env ISABELLE_BENCHMARK=true $MAKEALL $HOME/settings/mac-poly64-M8;
     1.9 +  $MAKEALL $HOME/settings/mac-poly64-M4;
    1.10 +  $MAKEALL $HOME/settings/mac-poly64-M8;
    1.11    $MAKEALL $HOME/settings/mac-poly-M4;
    1.12    $MAKEALL $HOME/settings/mac-poly-M8"
    1.13  sleep 15