summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorH. Peter Anvin <hpa@zytor.com>2010-11-09 22:04:32 (GMT)
committerH. Peter Anvin <hpa@zytor.com>2010-11-09 22:04:32 (GMT)
commit567bed560a208f266a56a9379cfab0feebf0f988 (patch)
tree40d735fd4268b4ece4848c718729c0e69685e625
parentfae7044358d81b4c28378197a8d6012121e3cb2e (diff)
downloadtip-bot-567bed560a208f266a56a9379cfab0feebf0f988.zip
tip-bot-567bed560a208f266a56a9379cfab0feebf0f988.tar.gz
tip-bot-567bed560a208f266a56a9379cfab0feebf0f988.tar.bz2
tip-bot-567bed560a208f266a56a9379cfab0feebf0f988.tar.xz
Re-enable emails!
-rwxr-xr-xrobot.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/robot.sh b/robot.sh
index bbcadb3..9ed7940 100755
--- a/robot.sh
+++ b/robot.sh
@@ -54,7 +54,7 @@ date=$(date -uR)
fi
(
while read rev; do
- : "$topdir"/robotfmt.pl $rev "$topdir"/branches
+ "$topdir"/robotfmt.pl $rev "$topdir"/branches
done
) < "$tmpdir"/revlist.$$
rm -f "$tmpdir"/revlist.$$