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