equal
deleted
inserted
replaced
105 sleep 15 |
105 sleep 15 |
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 "$MAKEALL $HOME/settings/mac-poly64-M4; $MAKEALL $HOME/settings/mac-poly64-M8; $MAKEALL $HOME/settings/mac-poly-M4; $MAKEALL $HOME/settings/mac-poly-M8" |
110 $SSH macbroy2 " |
|
111 $MAKEALL $HOME/settings/mac-poly64-M4 -l . full; |
|
112 $MAKEALL $HOME/settings/mac-poly64-M8 -l . full; |
|
113 $MAKEALL $HOME/settings/mac-poly-M4; |
|
114 $MAKEALL $HOME/settings/mac-poly-M8" |
111 sleep 15 |
115 sleep 15 |
112 $SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly" |
116 $SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly" |
113 sleep 15 |
117 sleep 15 |
114 $SSH macbroy6 "$MAKEALL $HOME/settings/mac-poly64-M2" |
118 $SSH macbroy6 "$MAKEALL $HOME/settings/mac-poly64-M2" |
115 sleep 15 |
119 sleep 15 |