Commit 5b1a1708 authored by MARCHE Claude's avatar MARCHE Claude

uncoment sending of mail in nightly bench

parent 878893b3
......@@ -4,8 +4,8 @@ OUT=$PWD/nightly-bench.out
REPORT=$PWD/nightly-bench.report
notify() {
# mail -s "Why3 nightly bench" why3-commits@lists.gforge.inria.fr < $REPORT
cat $REPORT
mail -s "Why3 nightly bench" why3-commits@lists.gforge.inria.fr < $REPORT
# cat $REPORT
exit 0
}
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment