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 | |