From ef21c68233644d7f3a9abc3092fc3d2b7affd8a0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz=20=28arab=2C=20vx?=
 =?UTF-8?q?p=29?= <l.illanes@gmx.de>
Date: Sun, 11 Sep 2016 21:03:19 +0200
Subject: Fixes ./build.sh BUILD_CPUS=<n>.

---
 build.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index b59834fb..c6d96990 100755
--- a/build.sh
+++ b/build.sh
@@ -42,7 +42,8 @@ case ${1} in
 *)	exec cat build.usage; ;;
 esac; shift; done;
 
-if [ -e /proc/cpuinfo ]; then
+if [ -z "${BUILD_CPUS}" ]	\
+&& [ -e /proc/cpuinfo ]; then
 	BUILD_CPUS=$(awk '/^processor/{cpus++} END{print cpus}' /proc/cpuinfo);
 fi;
 
-- 
cgit v1.2.3