diff options
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/portbuild/scripts/buildsuccess | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Tools/portbuild/scripts/buildsuccess b/Tools/portbuild/scripts/buildsuccess index 08ba06b9aa22..ab5eba759d4d 100755 --- a/Tools/portbuild/scripts/buildsuccess +++ b/Tools/portbuild/scripts/buildsuccess @@ -25,5 +25,8 @@ index=${PORTSDIR}/${INDEXFILE} portloc=$(grep "^$pkgname|" ${index} | cut -f 2 -d \| | sed s,/usr/ports/,,) cd ${pb}/${arch}/${branch} -grep -v "^${portloc}|" failure > failure.new -mv failure.new failure +if grep -q "^${portloc}|" failure; then + echo | mail -s "${pkgname} now builds on ${arch} ${branch}" kris@FreeBSD.org + grep -v "^${portloc}|" failure > failure.new + mv failure.new failure +fi |