diff options
author | Peter Wu <lekensteyn@gmail.com> | 2013-10-29 23:10:07 +0100 |
---|---|---|
committer | Peter Wu <lekensteyn@gmail.com> | 2013-10-29 23:10:07 +0100 |
commit | 849dfcf50db6a9f48e4e665d6450f5e7d1efb3f6 (patch) | |
tree | 52dd13052e1c5a8ce6fe507deb7292b2a68c3de2 /build-time | |
parent | 6426c805a90236c8a91f924831f310cf9dafeaf2 (diff) | |
download | scripts-849dfcf50db6a9f48e4e665d6450f5e7d1efb3f6.tar.gz |
build-time: kill temperature logger on exit
Diffstat (limited to 'build-time')
-rwxr-xr-x | build-time | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -105,6 +105,7 @@ run() { echo echo "Running $tag-$jobs" temp_logger "$templog" & logpid=$! + trap "kill $logpid" EXIT { time { sec1=$(date +%s) mk -j$jobs bzImage modules >/dev/null 2>&1 |