From c25b533d22ad666c08a20d84285212b6fd3c88ee Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Thu, 11 Jun 2015 19:31:06 +0200 Subject: use less pipes --- bin/d-i_manual.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin/d-i_manual.sh') 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 -- cgit v1.2.3-54-g00ecf