}
function detect_number_of_cpus () {
- if ! sysctl -n hw.ncpu; then
+ if ! sysctl -n hw.ncpu 2>/dev/null; then
echo "WARNING: I don't know how to detect the number of processors on this platform." >&2
echo "WARNING: GHC will be built using only 1 processor. Expect some slowdown." >&2
echo 1