/* Replay a remote debug session logfile for GDB.
- Copyright (C) 1996, 1998, 1999, 2000, 2002, 2003, 2005, 2006, 2007, 2008,
- 2009, 2010 Free Software Foundation, Inc.
+ Copyright (C) 1996-2013 Free Software Foundation, Inc.
Written by Fred Fish (fnf@cygnus.com) from pieces of gdbserver.
This file is part of GDB.
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>
#if HAVE_NETINET_TCP_H
#include <netinet/tcp.h>
#endif
+#if HAVE_ALLOCA_H
+#include <alloca.h>
+#endif
#if HAVE_MALLOC_H
#include <malloc.h>
#endif
-
#if USE_WIN32API
#include <winsock2.h>
#endif
/* Enable TCP keep alive process. */
tmp = 1;
- setsockopt (tmp_desc, SOL_SOCKET, SO_KEEPALIVE, (char *) &tmp, sizeof (tmp));
+ setsockopt (tmp_desc, SOL_SOCKET, SO_KEEPALIVE,
+ (char *) &tmp, sizeof (tmp));
/* Tell TCP not to delay small packets. This greatly speeds up
interactive response. */
#ifndef USE_WIN32API
close (tmp_desc); /* No longer need this */
- signal (SIGPIPE, SIG_IGN); /* If we don't do this, then gdbreplay simply
- exits when the remote side dies. */
+ signal (SIGPIPE, SIG_IGN); /* If we don't do this, then
+ gdbreplay simply exits when
+ the remote side dies. */
#else
closesocket (tmp_desc); /* No longer need this */
#endif
gdbreplay_version (void)
{
printf ("GNU gdbreplay %s%s\n"
- "Copyright (C) 2010 Free Software Foundation, Inc.\n"
- "gdbreplay is free software, covered by the GNU General Public License.\n"
+ "Copyright (C) 2013 Free Software Foundation, Inc.\n"
+ "gdbreplay is free software, covered by "
+ "the GNU General Public License.\n"
"This gdbreplay was configured as \"%s\"\n",
PKGVERSION, version, host_name);
}