1 /* Copyright (C) 2008-2020 Free Software Foundation, Inc. 2 3 This file is part of GDB. 4 5 This program is free software; you can redistribute it and/or modify 6 it under the terms of the GNU General Public License as published by 7 the Free Software Foundation; either version 3 of the License, or 8 (at your option) any later version. 9 10 This program is distributed in the hope that it will be useful, 11 but WITHOUT ANY WARRANTY; without even the implied warranty of 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 13 GNU General Public License for more details. 14 15 You should have received a copy of the GNU General Public License 16 along with this program. If not, see <http://www.gnu.org/licenses/>. */ 17 18 /* Force output to unbuffered mode if not connected to a terminal. */ 19 20 #include <stdio.h> 21 #ifndef __MINGW32__ 22 #include <unistd.h> 23 #endif 24 25 static void 26 gdb_unbuffer_output (void) 27 { 28 /* Always force this for Windows testing. To a native Windows 29 program running under a Cygwin shell/ssh, stdin is really a 30 Windows pipe, thus not a tty and its outputs ends up fully 31 buffered. */ 32 #ifndef __MINGW32__ 33 if (!isatty (fileno (stdin))) 34 #endif 35 { 36 setvbuf (stdout, NULL, _IONBF, BUFSIZ); 37 setvbuf (stderr, NULL, _IONBF, BUFSIZ); 38 } 39 } 40