From 849dfcf50db6a9f48e4e665d6450f5e7d1efb3f6 Mon Sep 17 00:00:00 2001
From: Peter Wu <lekensteyn@gmail.com>
Date: Tue, 29 Oct 2013 23:10:07 +0100
Subject: build-time: kill temperature logger on exit

---
 build-time | 1 +
 1 file changed, 1 insertion(+)

(limited to 'build-time')

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
-- 
cgit v1.2.1