equal
deleted
inserted
replaced
112 $MAKEALL $HOME/settings/mac-poly-M8-skip_proofs; |
112 $MAKEALL $HOME/settings/mac-poly-M8-skip_proofs; |
113 $MAKEALL $HOME/settings/mac-poly-M8-quick_and_dirty" |
113 $MAKEALL $HOME/settings/mac-poly-M8-quick_and_dirty" |
114 sleep 15 |
114 sleep 15 |
115 $SSH macbroy30 "$MAKEALL $HOME/settings/mac-poly-M2" |
115 $SSH macbroy30 "$MAKEALL $HOME/settings/mac-poly-M2" |
116 sleep 15 |
116 sleep 15 |
117 $SSH macbroy31 "$MAKEALL $MAKEALL $HOME/settings/mac-poly64-M2" |
117 $SSH macbroy31 "$MAKEALL $HOME/settings/mac-poly64-M2" |
118 |
118 |
119 echo ------------------- spawned tests successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1 |
119 echo ------------------- spawned tests successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1 |
120 |
120 |
121 gzip -f $DISTLOG |
121 gzip -f $DISTLOG |
122 |
122 |