summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/d-i_build.sh2
-rwxr-xr-xbin/d-i_manual.sh2
2 files changed, 2 insertions, 2 deletions
diff --git a/bin/d-i_build.sh b/bin/d-i_build.sh
index 2e189d1f..36c3a525 100755
--- a/bin/d-i_build.sh
+++ b/bin/d-i_build.sh
@@ -67,7 +67,7 @@ pdebuild_package() {
SOURCE=$(dpkg-parsechangelog |grep ^Source: | cut -d " " -f2)
# workaround #767260 (console-setup doesn't support parallel build)
if [ "$SOURCE" != "console-setup" ] ; then
- NUM_CPU=$(cat /proc/cpuinfo |grep '^processor'|wc -l)
+ NUM_CPU=$(grep -c '^processor' /proc/cpuinfo)
else
NUM_CPU=1
fi
diff --git a/bin/d-i_manual.sh b/bin/d-i_manual.sh
index 01a9f14b..ce00d909 100755
--- a/bin/d-i_manual.sh
+++ b/bin/d-i_manual.sh
@@ -46,7 +46,7 @@ pdebuild_package() {
# build
#
cd manual
- NUM_CPU=$(cat /proc/cpuinfo |grep '^processor'|wc -l)
+ NUM_CPU=$(grep -c '^processor' /proc/cpuinfo)
pdebuild --use-pdebuild-internal --debbuildopts "-j$NUM_CPU" -- --http-proxy $http_proxy
#
# publish and cleanup