#!/usr/bin/env bash common_abspath() ( echo "$(cd "$(dirname "$1")"; pwd)/$(basename "$1")" ) common_bench_cmd() ( # Benchmark a command. # # $1: command to benchmark # $2: where to write results to # # Result format: # # cmd # time