+else
+ NUMBER_OF_PROCESSORS=0
+ # Linux:
+ cpuinfo_file="/proc/cpuinfo"
+ if [ -f "${cpuinfo_file}" ]; then
+ NUMBER_OF_PROCESSORS=$(grep -c "processor.: " ${cpuinfo_file})
+ fi
+ # grep returns 0 or cpuinfo not found
+ if [ $NUMBER_OF_PROCESSORS = 0 ]; then
+ NUMBER_OF_PROCESSORS=1
+ fi
+