File: report.sh

package info (click to toggle)
python-rcssmin 1%3A1.1.2-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 3,196 kB
  • sloc: python: 2,379; ansic: 1,216; sh: 110; makefile: 20
file content (11 lines) | stat: -rwxr-xr-x 254 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
 
#!/bin/bash
set -ex

base="$(dirname -- "${0}")"
base="$(dirname -- "$(cd "${base:-.}" && pwd)")"
cd "${base}"

cat bench/.out.* >bench/report.pickle
python -mbench.write \
    -p docs/BENCHMARKS -t docs/_userdoc/benchmark.txt \
    <bench/report.pickle