Commit ec0b81db authored by Nico Schottelius's avatar Nico Schottelius

add mytime script to display run time, not used time

Signed-off-by: default avatarNico Schottelius <nico@kr.ethz.ch>
parent b563a53a
#!/bin/sh
START="$(date +%s)"
"$@"
END="$(date +%s)"
LENGTH=$((END-START))
LENGTHM=$((LENGTH/60))
echo "Run: ${LENGTH}s ($LENGTHM minutes)"
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment