1subject="$1"
2summary="$2"
3diffs="$3"
4
5# Note this drops the mail as file to be picked up by another script
6# that will actually sent it (this machine cannot directly sent email).
7MAILFILE="$HOME/valgrind-results/$(date +%d-%b-%Y.%R)"
8
9echo "Subject: $subject" >> $MAILFILE
10echo "To: valgrind-testresults@lists.sourceforge.net" >> $MAILFILE
11echo "Bcc: valgrind@wildebeest.org" >> $MAILFILE
12echo "  " >> $MAILFILE
13cat "$summary"  >> $MAILFILE
14echo "  " >> $MAILFILE
15cat "$diffs"  >> $MAILFILE
16
17MAILLATEST="$HOME/valgrind-results/latest"
18rm -f $MAILLATEST
19ln -s $MAILFILE $MAILLATEST
20