equal
deleted
inserted
replaced
102 |
102 |
103 $SSH lxbroy10 "$MAKEALL $HOME/settings/at64-poly" |
103 $SSH lxbroy10 "$MAKEALL $HOME/settings/at64-poly" |
104 sleep 15 |
104 sleep 15 |
105 $SSH lxbroy4 " |
105 $SSH lxbroy4 " |
106 $MAKEALL $HOME/settings/at-poly; |
106 $MAKEALL $HOME/settings/at-poly; |
|
107 $MAKEALL $HOME/settings/at-poly-e; |
107 $MAKEALL $HOME/settings/at-poly-test" |
108 $MAKEALL $HOME/settings/at-poly-test" |
108 sleep 15 |
109 sleep 15 |
109 $SSH lxbroy3 "$MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e" |
110 $SSH lxbroy3 "$MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e" |
110 sleep 15 |
|
111 $SSH macbroy23 "$MAKEALL $HOME/settings/at-poly-e" |
|
112 sleep 15 |
111 sleep 15 |
113 $SSH macbroy2 " |
112 $SSH macbroy2 " |
114 $MAKEALL $HOME/settings/mac-poly64-M4; |
113 $MAKEALL $HOME/settings/mac-poly64-M4; |
115 $MAKEALL $HOME/settings/mac-poly64-M8; |
114 $MAKEALL $HOME/settings/mac-poly64-M8; |
116 $MAKEALL $HOME/settings/mac-poly-M4; |
115 $MAKEALL $HOME/settings/mac-poly-M4; |