From a058b788a83b0f6681a37123f2bd4c16d5ddbc47 Mon Sep 17 00:00:00 2001
From: Claude Marche <Claude.Marche@inria.fr>
Date: Sun, 31 Aug 2014 11:47:42 +0200
Subject: [PATCH] report by mail: mail addresses as arguments

---
 examples/nightly-bench.sh | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/examples/nightly-bench.sh b/examples/nightly-bench.sh
index 013bb59b2..dac3b63f3 100755
--- a/examples/nightly-bench.sh
+++ b/examples/nightly-bench.sh
@@ -3,7 +3,7 @@
 
 case "$1" in
   "-mail")
-        REPORTBYMAIL=yes;;
+        REPORTBYMAIL=$2;;
   "")
         REPORTBYMAIL=no;;
   *)
@@ -21,11 +21,10 @@ DATE=`date --utc +%Y-%m-%d`
 SUBJECT="Why3 nightly bench:"
 
 notify() {
-    if test "$REPORTBYMAIL" == "yes"; then
-        mail -s "$SUBJECT" why3-commits@lists.gforge.inria.fr < $REPORT
-        # mail -s "$SUBJECT" Claude.Marche@inria.fr < $REPORT
-    else
+    if test "$REPORTBYMAIL" == "no"; then
         cat $REPORT
+    else
+        mail -s "$SUBJECT" $REPORTBYMAIL < $REPORT
     fi
     exit 0
 }
-- 
GitLab