publish-benchmark


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#!/bin/sh

set -e

die()
{
    echo "$@" 1>&2
    exit 1
}

[ "$#" = 1 ] || die "Usage: $0 wikidir"

wiki="$1"

./report-benchmark "$wiki/obnam/benchmarks"/*.seivot