equal
deleted
inserted
replaced
9 # source bashrc, we're called by cron |
9 # source bashrc, we're called by cron |
10 . ~/.bashrc |
10 . ~/.bashrc |
11 |
11 |
12 |
12 |
13 ## global settings |
13 ## global settings |
14 MAILTO="kleing@in.tum.de test@jflex.de" |
14 MAILTO="kleing@in.tum.de nipkow@in.tum.de wenzelm@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk" |
|
15 |
|
16 TMP=/tmp/isatest-makedist.$$ |
|
17 MAIL=~/bin/pmail |
15 |
18 |
16 LOGPREFIX=~/log |
19 LOGPREFIX=~/log |
17 MASTERLOG=$LOGPREFIX/isatest.log |
20 MASTERLOG=$LOGPREFIX/isatest.log |
18 DISTPREFIX=~/isadist |
21 DISTPREFIX=~/isadist |
19 MAKEDIST=~/bin/makedist |
22 MAKEDIST=~/bin/makedist |
67 then |
70 then |
68 echo ------------------- DIST BUILD FAILED --- `date` --- $HOSTNAME >> $DISTLOG 2>&1 |
71 echo ------------------- DIST BUILD FAILED --- `date` --- $HOSTNAME >> $DISTLOG 2>&1 |
69 ELAPSED=$("$HOME/bin/showtime" "$SECONDS") |
72 ELAPSED=$("$HOME/bin/showtime" "$SECONDS") |
70 echo "$(date) $HOSTNAME $PRG: dist build FAILED, elapsed time $ELAPSED." >> $MASTERLOG |
73 echo "$(date) $HOSTNAME $PRG: dist build FAILED, elapsed time $ELAPSED." >> $MASTERLOG |
71 |
74 |
72 for R in $MAILTO; do |
75 echo "Could not build isabelle distribution. Log file available at" > $TMP |
73 mail -t $R <<EOM |
76 echo "$HOSTNAME:$DISTLOG" >> $TMP |
74 Subject: isabelle dist build failed |
|
75 |
77 |
76 Could not build isabelle distribution. Log file available at |
78 for R in $MAILTO; do |
77 |
79 $MAIL "isabelle dist build failed" $R $TMP |
78 $HOSTNAME:$DISTLOG |
|
79 EOM |
|
80 done |
80 done |
81 |
81 |
82 # more action here |
82 rm $TMP |
|
83 |
83 exit 1 |
84 exit 1 |
84 fi |
85 fi |
85 |
86 |
86 cd $DISTPREFIX >> $DISTLOG 2>&1 |
87 cd $DISTPREFIX >> $DISTLOG 2>&1 |
87 $TAR xvzf `cat $DISTPREFIX/ISABELLE_DIST` >> $DISTLOG 2>&1 |
88 $TAR xvzf `cat $DISTPREFIX/ISABELLE_DIST` >> $DISTLOG 2>&1 |
95 |
96 |
96 ## spawn test runs |
97 ## spawn test runs |
97 |
98 |
98 # run tests in parallel on multiprocessor sun |
99 # run tests in parallel on multiprocessor sun |
99 $SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-poly ~/settings/sun-sml" |
100 $SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-poly ~/settings/sun-sml" |
100 # $SSH $SUN "$MAKEALL $DISTPREFIX ~/settings/sun-sml" |
|
101 |
101 |
102 # run tests sequentially on x86 |
102 # run tests sequentially on x86 |
103 $SSH $AT "$MAKEALL $DISTPREFIX ~/settings/at-poly ~/settings/at-sml" |
103 $SSH $AT "$MAKEALL $DISTPREFIX ~/settings/at-poly ~/settings/at-sml" |
104 |
104 |
105 ## end |
105 ## end |