Index: src/scripts/build_kernel.sh |
diff --git a/src/scripts/build_kernel.sh b/src/scripts/build_kernel.sh |
index 6fd124b1497a52e8ba767128bb838dda4d1ee9a0..4efa4667b1534d1f050e1333fd7a701205c6d19d 100755 |
--- a/src/scripts/build_kernel.sh |
+++ b/src/scripts/build_kernel.sh |
@@ -126,7 +126,7 @@ then |
CONCURRENCY_LEVEL=2 |
else |
# speed up compilation by running #cpus * 2 simultaneous jobs |
- CONCURRENCY_LEVEL=$(($(cat /proc/cpuinfo | grep "processor" | wc -l) * 2)) |
+ CONCURRENCY_LEVEL=$(($(grep -c "^processor" /proc/cpuinfo) * 2)) |
fi |
# Build the kernel and make package. "setarch" is used so that scripts which |