diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/d-i_build.sh | 2 | ||||
| -rwxr-xr-x | bin/d-i_manual.sh | 2 |
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 |