Admin/isatest/isatest-makedist
changeset 47062 9deb10a16203
parent 46913 3444a24dc4e9
child 47460 70fd47ca62e3
equal deleted inserted replaced
47061:355317493f34 47062:9deb10a16203
   106 $SSH macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
   106 $SSH macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
   107 sleep 15
   107 sleep 15
   108 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
   108 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
   109 sleep 15
   109 sleep 15
   110 $SSH macbroy2 "
   110 $SSH macbroy2 "
   111   $MAKEALL $HOME/settings/mac-poly64-M4 -l . full;
   111   $MAKEALL -l . full $HOME/settings/mac-poly64-M4;
   112   $MAKEALL $HOME/settings/mac-poly64-M8 -l . full;
   112   $MAKEALL -l . full $HOME/settings/mac-poly64-M8;
   113   $MAKEALL $HOME/settings/mac-poly-M4;
   113   $MAKEALL $HOME/settings/mac-poly-M4;
   114   $MAKEALL $HOME/settings/mac-poly-M8"
   114   $MAKEALL $HOME/settings/mac-poly-M8"
   115 sleep 15
   115 sleep 15
   116 $SSH macbroy6 "$MAKEALL $HOME/settings/mac-poly64-M2"
   116 $SSH macbroy6 "$MAKEALL $HOME/settings/mac-poly64-M2"
   117 sleep 15
   117 sleep 15