don't abort of cpuinfo has the wrong format

2025-01-18 20:21:18 +00:00 · 2011-07-31 22:02:46 +02:00 · 2011-07-31 22:02:46 +02:00 · 7f0123ca42
commit 7f0123ca42
parent 38373bf7fc
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1035,7 +1035,7 @@ case "$cmd" in
 		fi
 		if [ -z "$MAKEFLAGS" ]; then
 			if [ -f /proc/cpuinfo ]; then
-				ncpus=$((`grep -c '^processor	:' /proc/cpuinfo`+0))
+				ncpus=$((`grep -c '^processor	:' /proc/cpuinfo || true`+0))
 				if [ $ncpus -gt 1 ]; then
 					MAKEFLAGS=-j$ncpus
 				fi