| florian | d809dcc | 2011-09-09 02:56:00 +0000 | [diff] [blame] | 1 | if [ $# -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" | ||||
| 5 | else | ||||
| 6 | /usr/bin/mail -s "$1" -r "Christian Borntraeger <borntraeger@de.ibm.com>" valgrind-developers@lists.sourceforge.net < $2 | ||||
| 7 | fi | ||||
| 8 | |||||