don't abort of cpuinfo has the wrong format

diff --git a/all b/all
index 58202e4c39e1ca0c40d75e91667b19a63d6f95b4..9af0b7c4db9ad5be1d24b378aa8c7ce1e5f6580c 100755 (executable)
--- a/all
+++ b/all
@@ -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