case "$platform" in
*-*-darwin)
- ioreg -r -c IOCPU | fgrep -c IOCPUNumber
+ ioreg -r -c IOCPU | fgrep -c \"IOCPUNumber\"
+ ;;
+ *-*-netbsd*)
+ cat /proc/cpuinfo | grep -cE 'processor[[:space:]]*:'
;;
*)
echo "WARNING: I don't know how to detect the number of processors on this platform." >&2