5 lines
82 B
Bash
Executable file
5 lines
82 B
Bash
Executable file
#!/usr/bin/env bash
|
|
|
|
set -o pipefail -eu
|
|
|
|
"$@" 2>&1 | "$(dirname "$0")/timing.py"
|