Fix cpu_count() on some platforms

[stockfish] / src / platform.h

diff --git a/src/platform.h b/src/platform.h
index 36494c135022bcc0d6bd0a747dce5b35aef01710..ad02575bc4b983d207543252049759816e39f21f 100644 (file)
--- a/src/platform.h
+++ b/src/platform.h
@@ -40,6 +40,7 @@ typedef unsigned __int64 uint64_t;
 
 #else
 #  include <inttypes.h>
+#  include <unistd.h>  // Used by sysconf(_SC_NPROCESSORS_ONLN)
 #endif
 
 #if !defined(_WIN32) && !defined(_WIN64) // Linux - Unix