1if [ $# -ge 3 ]; then
2  gzip -9 <"$3" >"$3.gz"
3  /usr/bin/mail -s "$1" -r "Christian Borntraeger <borntraeger@de.ibm.com>"  -a "$3.gz" valgrind-developers@lists.sourceforge.net < $2
4  rm -f "$3.gz"
5else
6  /usr/bin/mail -s "$1" -r "Christian Borntraeger <borntraeger@de.ibm.com>" valgrind-developers@lists.sourceforge.net < $2
7fi
8
9