Commit d6bd47f9 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

minor fix nightly bench script after merging itp branch

parent 7857d36c
...@@ -11,14 +11,14 @@ case "$1" in ...@@ -11,14 +11,14 @@ case "$1" in
exit 2 exit 2
esac esac
REPORTDIR=$PWD/../why3-itp-reports REPORTDIR=$PWD/../why3-reports
OUT=$REPORTDIR/nightly-bench.out OUT=$REPORTDIR/nightly-bench.out
PREVIOUS=$REPORTDIR/nightly-bench.previous PREVIOUS=$REPORTDIR/nightly-bench.previous
DIFF=$REPORTDIR/nightly-bench.diff DIFF=$REPORTDIR/nightly-bench.diff
REPORT=$REPORTDIR/nightly-bench.report REPORT=$REPORTDIR/nightly-bench.report
DATE=`date --utc +%Y-%m-%d` DATE=`date --utc +%Y-%m-%d`
SUBJECT="Why3 ITP nightly bench:" SUBJECT="Why3 nightly bench:"
notify() { notify() {
if test "$REPORTBYMAIL" == "no"; then if test "$REPORTBYMAIL" == "no"; then
......
Supports Markdown
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