removed switched-off atbroy102 from isatest; no cygwin test currently running, needs a working server somewhere
authorGerwin Klein <gerwin.klein@nicta.com.au>
Mon Jul 09 09:15:28 2012 +1000 (2012-07-09)
changeset 4821008cb859c53cd
parent 48209 67f13db5d273
child 48211 12bbb9d4b6ed
removed switched-off atbroy102 from isatest; no cygwin test currently running, needs a working server somewhere
Admin/isatest/isatest-makedist
     1.1 --- a/Admin/isatest/isatest-makedist	Sat Jul 07 19:41:59 2012 +0200
     1.2 +++ b/Admin/isatest/isatest-makedist	Mon Jul 09 09:15:28 2012 +1000
     1.3 @@ -55,7 +55,9 @@
     1.4  
     1.5  echo "### cleaning up old isabelle-* directories" >> $DISTLOG 2>&1
     1.6  rm -rf $HOME/isabelle-*
     1.7 -ssh atbroy102 "rm -rf /home/isatest/isabelle-cygwin-poly-e"
     1.8 +
     1.9 +# on ice until there is a working cygwin platform again:
    1.10 +# ssh atbroy102 "rm -rf /home/isatest/isabelle-cygwin-poly-e"
    1.11  
    1.12  echo "### building distribution"  >> $DISTLOG 2>&1
    1.13  mkdir -p $DISTPREFIX
    1.14 @@ -85,8 +87,9 @@
    1.15  ln -sf $(basename $ISABELLE_DIST .tar.gz) Isabelle
    1.16  cp Isabelle/etc/settings Isabelle/etc/settings.orig
    1.17  
    1.18 -ssh atbroy102 "rm -rf /home/isatest/isadist && mkdir -p /home/isatest/isadist" && \
    1.19 -rsync -a "$HOME/isadist/." atbroy102:/home/isatest/isadist/.
    1.20 +# on ice until there is a working cygwin platform again:
    1.21 +# ssh atbroy102 "rm -rf /home/isatest/isadist && mkdir -p /home/isatest/isadist" && \
    1.22 +# rsync -a "$HOME/isadist/." atbroy102:/home/isatest/isadist/.
    1.23  
    1.24  echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
    1.25  
    1.26 @@ -114,8 +117,10 @@
    1.27  $SSH macbroy6 "$MAKEALL $HOME/settings/mac-poly64-M2"
    1.28  sleep 15
    1.29  $SSH macbroy30 "sleep 10800; $MAKEALL $HOME/settings/mac-poly-M2"
    1.30 -sleep 15
    1.31 -$SSH atbroy102 "$MAKEALL $HOME/settings/cygwin-poly-e"
    1.32 +# sleep 15
    1.33 +# on ice until there is a working cygwin platform again:
    1.34 +# $SSH atbroy102 "$MAKEALL $HOME/settings/cygwin-poly-e"
    1.35 +
    1.36  #sleep 15
    1.37  #$SSH atbroy51 "$HOME/admin/isatest/isatest-annomaly"
    1.38