From ef21c68233644d7f3a9abc3092fc3d2b7affd8a0 Mon Sep 17 00:00:00 2001
From: Lucio Andrés Illanes Albornoz (arab, vxp) <l.illanes@gmx.de>
Date: Sep 11 2016 19:03:19 +0000
Subject: Fixes ./build.sh BUILD_CPUS=<n>.


---

diff --git a/build.sh b/build.sh
index b59834f..c6d9699 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;