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