shithub: soundpipe

ref: f6d97317c22b5d2e703844728a3f41b6bc3a74a4
dir: /test/perf_test/

View raw version
#/bin/sh
> time.log
for p in $*
do
    echo "testing $p"
    printf "$p " | sed "s/^p\/p_//" >> time.log
    /usr/bin/time -p ./$p 2>&1 | grep real | sed -E 's/[[:space:]]+/ /' | cut -d ' ' -f 2 >> time.log
done