summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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