Merge GDB 7.5.1

gdb/gdbserver/gdbreplay.c

 /* Replay a remote debug session logfile for GDB.
    Copyright (C) 1996, 1998-2000, 2002-2003, 2005-2012 Free Software
    Foundation, Inc.
    Written by Fred Fish (fnf@cygnus.com) from pieces of gdbserver.
 
    This file is part of GDB.
 
    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation; either version 3 of the License, or
    (at your option) any later version.
 
    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
 
 #include "config.h"
+#include "build-gnulib-gdbserver/config.h"
+
 #include <stdio.h>
 #if HAVE_SYS_FILE_H
 #include <sys/file.h>
 #endif
 #if HAVE_SIGNAL_H
 #include <signal.h>
 #endif
 #include <ctype.h>
 #if HAVE_FCNTL_H
 #include <fcntl.h>
@@ skipping 445 matching lines @@
           break;
         case 'c':
           /* Command executed by gdb */
           while ((ch = logchar (fp)) != EOL);
           break;
         }
     }
   remote_close ();
   exit (0);
 }