Commit 7cc72e06 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

restore mail for nightly bench

parent f94c72cc
...@@ -10,9 +10,9 @@ DATE=`date --utc +%Y-%m-%d` ...@@ -10,9 +10,9 @@ DATE=`date --utc +%Y-%m-%d`
SUBJECT="Why3 nightly bench:" SUBJECT="Why3 nightly bench:"
notify() { notify() {
# mail -s "$SUBJECT" why3-commits@lists.gforge.inria.fr < $REPORT mail -s "$SUBJECT" why3-commits@lists.gforge.inria.fr < $REPORT
# mail -s "$SUBJECT" Claude.Marche@inria.fr < $REPORT # mail -s "$SUBJECT" Claude.Marche@inria.fr < $REPORT
cat $REPORT # cat $REPORT
exit 0 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