Disable again buffering at startup

[stockfish] / src / main.cpp

diff --git a/src/main.cpp b/src/main.cpp
index 1a8309700555bfd61ef916fad97619d48d50386f..fcb7e40c25118bf81f35a2361fd77d4d69840d33 100644 (file)
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -17,6 +17,7 @@
   along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */
 
+#include <cstdio>
 #include <iostream>
 #include <string>
 
@@ -35,6 +36,9 @@ extern void kpk_bitbase_init();
 
 int main(int argc, char* argv[]) {
 
+  // Disable output buffering: printf() does not work correctly otherwise
+  setvbuf(stdout, NULL, _IONBF, 0);
+
   bitboards_init();
   Position::init();
   kpk_bitbase_init();