diff options
author | Peter Wu <lekensteyn@gmail.com> | 2013-10-28 11:11:44 +0100 |
---|---|---|
committer | Peter Wu <lekensteyn@gmail.com> | 2013-10-28 11:11:44 +0100 |
commit | 6426c805a90236c8a91f924831f310cf9dafeaf2 (patch) | |
tree | 1236160919f110433f51b86a233f737f1c3b2325 | |
parent | 85c7562d28a02c2b8d86f24ef7611757db4b89ed (diff) | |
download | scripts-6426c805a90236c8a91f924831f310cf9dafeaf2.tar.gz |
built-time: capture time to stdout
-rwxr-xr-x | build-time | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -105,14 +105,14 @@ run() { echo echo "Running $tag-$jobs" temp_logger "$templog" & logpid=$! - time { + { time { sec1=$(date +%s) mk -j$jobs bzImage modules >/dev/null 2>&1 sec2=$(date +%s) echo "jobs=$jobs secs=$((sec2-sec1))" echo -n "loadavg: " cut -d\ -f1-3 /proc/loadavg - } 2>&1 + }; } 2>&1 kill $logpid; wait $logpid 2>/dev/null # Very simple statistics |