commit 9be86736ebd5fc0c398ab451ed8ae7f0d164762f parent d8889b75c487f2b875005d14c2e794329c55fa9b Author: bsandro <[email protected]> Date: Sat, 11 Dec 2021 16:20:58 +0200 Script for measuring cumulative run time Diffstat:
| A | time.sh | | | 3 | +++ |
1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/time.sh b/time.sh @@ -0,0 +1,3 @@ +#!/bin/sh + +./all.sh run | grep Elapsed | cut -d' ' -f 2 | paste -sd+ - | bc