Commit 0d50c1de authored by MARCHE Claude's avatar MARCHE Claude
Browse files

duration of nightly bench

parent 33a259de
......@@ -32,6 +32,7 @@ notify() {
echo "== Why3 bench on $DATE ==" > $REPORT
echo "Starting time (UTC): "`date --utc +%H:%M` >> $REPORT
# configuration
autoconf
......@@ -95,6 +96,8 @@ fi
# store the state for this day
cp $OUT $REPORTDIR/regtests-$DATE
echo "Ending time (UTC): "`date --utc +%H:%M` >> $REPORT
# output the diff against previous run
diff -u $PREVIOUS $OUT &> $DIFF
if test "$?" == 0 ; then
......
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