diff options
-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 |