discontinued Mac OS X 10.7 Lion (macbroy6);
authorwenzelm
Mon Nov 23 23:25:41 2015 +0100 (2015-11-23)
changeset 61744aa10f3f30f6f
parent 61743 259aef8d0bff
child 61745 e23e0ff98657
discontinued Mac OS X 10.7 Lion (macbroy6);
Admin/isatest/isatest-makedist
     1.1 --- a/Admin/isatest/isatest-makedist	Mon Nov 23 21:55:13 2015 +0100
     1.2 +++ b/Admin/isatest/isatest-makedist	Mon Nov 23 23:25:41 2015 +0100
     1.3 @@ -117,9 +117,9 @@
     1.4    $MAKEALL $HOME/settings/mac-poly-M8-skip_proofs;
     1.5    $MAKEALL $HOME/settings/mac-poly-M8-quick_and_dirty"
     1.6  sleep 15
     1.7 -$SSH macbroy6 "$MAKEALL -x HOL-Mirabelle-ex $HOME/settings/mac-poly64-M2"
     1.8 -sleep 15
     1.9 -$SSH macbroy30 "$MAKEALL $HOME/settings/mac-poly-M2"
    1.10 +$SSH macbroy30 "
    1.11 +  $MAKEALL $HOME/settings/mac-poly-M2;
    1.12 +  $MAKEALL $HOME/settings/mac-poly64-M2"
    1.13  sleep 15
    1.14  $SSH macbroy31 "$MAKEALL $HOME/settings/mac-poly-M2-alternative"
    1.15