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