Files
2024-02-01 11:40:42 +08:00

6 lines
82 B
Bash

#!/usr/bin/env bash
set -o pipefail -eu
"$@" 2>&1 | "$(dirname "$0")/timing.py"