summaryrefslogtreecommitdiff
path: root/build-time
diff options
context:
space:
mode:
authorPeter Wu <lekensteyn@gmail.com>2013-10-29 23:10:07 +0100
committerPeter Wu <lekensteyn@gmail.com>2013-10-29 23:10:07 +0100
commit849dfcf50db6a9f48e4e665d6450f5e7d1efb3f6 (patch)
tree52dd13052e1c5a8ce6fe507deb7292b2a68c3de2 /build-time
parent6426c805a90236c8a91f924831f310cf9dafeaf2 (diff)
downloadscripts-849dfcf50db6a9f48e4e665d6450f5e7d1efb3f6.tar.gz
build-time: kill temperature logger on exit
Diffstat (limited to 'build-time')
-rwxr-xr-xbuild-time1
1 files changed, 1 insertions, 0 deletions
diff --git a/build-time b/build-time
index 7b81b7e..d675ca9 100755
--- a/build-time
+++ b/build-time
@@ -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