Commit 59725acf authored by MARCHE Claude's avatar MARCHE Claude

temporarily adapt nightly bench for new system

parent 3ab15af3
......@@ -18,7 +18,7 @@ DIFF=$REPORTDIR/nightly-bench.diff
REPORT=$REPORTDIR/nightly-bench.report
DATE=`date --utc +%Y-%m-%d`
SUBJECT="Why3 nightly bench:"
SUBJECT="Why3 NEW SYSTEM nightly bench:"
notify() {
if test "$REPORTBYMAIL" == "no"; then
......@@ -131,7 +131,8 @@ if test "$?" != "0" ; then
echo "Make bench FAILED" >> $REPORT
cat $OUT >> $REPORT
SUBJECT="$SUBJECT make bench failed"
notify
# we do not notify yet, we try the examples also
# notify
else
echo "Make bench succeeded. " >> $REPORT
fi
......
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