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 25static void 26gdb_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