Use runtime instead of datetime for test output.

This commit is contained in:
Matt Clay
2018-08-23 10:23:19 -07:00
parent 34b36d5178
commit 31a5b874a1
3 changed files with 13 additions and 2 deletions

View File

@@ -1,5 +1,5 @@
#!/bin/bash -eux
#!/bin/bash -eu
set -o pipefail
"$@" 2>&1 | gawk '{ print strftime("%Y-%m-%d %H:%M:%S"), $0; fflush(); }'
"$@" 2>&1 | "$(dirname "$0")/timing.py"