equal
deleted
inserted
replaced
6 # |
6 # |
7 # DESCRIPTION: Run isatool makeall from specified distribution and settings. |
7 # DESCRIPTION: Run isatool makeall from specified distribution and settings. |
8 # Send email if it fails. |
8 # Send email if it fails. |
9 |
9 |
10 ## global settings |
10 ## global settings |
|
11 MAILTO="kleing@in.tum.de test@jflex.de" |
|
12 |
11 LOGPREFIX=~/log |
13 LOGPREFIX=~/log |
12 |
14 |
13 MASTERLOG=$LOGPREFIX/isatest.log |
15 MASTERLOG=$LOGPREFIX/isatest.log |
14 |
16 |
15 ## diagnostics |
17 ## diagnostics |
67 if [ $? -eq 0 ] |
69 if [ $? -eq 0 ] |
68 then |
70 then |
69 echo ------------------- test successful --- `date` --- $HOSTNAME >> $TESTLOG 2>&1 |
71 echo ------------------- test successful --- `date` --- $HOSTNAME >> $TESTLOG 2>&1 |
70 mv $DISTPREFIX/Isabelle/etc/settings.save-$SHORT $DISTPREFIX/Isabelle/etc/settings |
72 mv $DISTPREFIX/Isabelle/etc/settings.save-$SHORT $DISTPREFIX/Isabelle/etc/settings |
71 gzip -f $TESTLOG |
73 gzip -f $TESTLOG |
|
74 rm -rf ~/isabelle-$SHORT |
72 else |
75 else |
73 echo ------------------- test FAILED --- `date` --- $HOSTNAME >> $TESTLOG 2>&1 |
76 echo ------------------- test FAILED --- `date` --- $HOSTNAME >> $TESTLOG 2>&1 |
74 FAIL="$FAIL$SHORT " |
77 FAIL="$FAIL$SHORT " |
|
78 for R in $MAILTO; do |
|
79 mail -t $R <<EOM |
|
80 Subject: isabelle test failed |
|
81 |
|
82 Test for platform $SHORT failed. Log file available at |
|
83 |
|
84 $HOSTNAME:$TESTLOG |
|
85 EOM |
|
86 done |
75 # more action here |
87 # more action here |
76 fi |
88 fi |
77 |
89 |
78 done |
90 done |
79 |
91 |