Admin/isatest-makedist
changeset 13246 e51efc2029e9
parent 13237 493d61afa731
child 13359 982827aacb39
     1.1 --- a/Admin/isatest-makedist	Mon Jun 24 11:59:21 2002 +0200
     1.2 +++ b/Admin/isatest-makedist	Mon Jun 24 16:33:43 2002 +0200
     1.3 @@ -11,6 +11,8 @@
     1.4  
     1.5  
     1.6  ## global settings
     1.7 +MAILTO="kleing@in.tum.de test@jflex.de"
     1.8 +
     1.9  LOGPREFIX=~/log
    1.10  MASTERLOG=$LOGPREFIX/isatest.log
    1.11  DISTPREFIX=~/isadist
    1.12 @@ -66,6 +68,17 @@
    1.13      echo ------------------- DIST BUILD FAILED --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
    1.14      ELAPSED=$("$HOME/bin/showtime" "$SECONDS")
    1.15      echo "$(date) $HOSTNAME $PRG: dist build FAILED, elapsed time $ELAPSED." >> $MASTERLOG
    1.16 +
    1.17 +    for R in $MAILTO; do 
    1.18 +        mail -t $R <<EOM
    1.19 +Subject: isabelle dist build failed
    1.20 +
    1.21 +Could not build isabelle distribution. Log file available at
    1.22 +
    1.23 +$HOSTNAME:$DISTLOG
    1.24 +EOM
    1.25 +    done
    1.26 +
    1.27      # more action here
    1.28      exit 1
    1.29  fi
    1.30 @@ -83,8 +96,8 @@
    1.31  ## spawn test runs
    1.32  
    1.33  # run tests in parallel on multiprocessor sun 
    1.34 -$SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-poly"
    1.35 -$SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-sml"
    1.36 +$SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-poly ~/settings/sun-sml"
    1.37 +# $SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-sml"
    1.38  
    1.39  # run tests sequentially on x86
    1.40  $SSH $AT "$MAKEALL $DISTPREFIX ~/settings/at-poly ~/settings/at-sml"