1 files changed, 0 insertions, 48 deletions
diff --git a/gdb/nindy-share/ttyflush.c b/gdb/nindy-share/ttyflush.c
deleted file mode 100644
index f9aaa2edf4f..00000000000
--- a/gdb/nindy-share/ttyflush.c
+++ /dev/null
@@ -1,48 +0,0 @@
-/* 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 2 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, write to the Free Software
-   Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
-
-/* This started out life as code shared between the nindy monitor and
-   GDB.  For various reasons, this is no longer true.  Eventually, it
-   probably should be merged into remote-nindy.c.  */
-
-#include <stdio.h>
-#include "defs.h"
-#include "serial.h"
-
-/* Flush all pending input and output for SERIAL, wait for a second, and
-   then if there is a character pending, discard it and flush again.  */
-
-int
-tty_flush (serial)
-     struct serial *serial;
-{
-  while (1)
-    {
-      serial_flush_input (serial);
-      serial_flush_output (serial);
-      sleep(1);
-      switch (serial_readchar (serial, 0))
-	{
-	case SERIAL_TIMEOUT:
-	case SERIAL_ERROR:
-	case SERIAL_EOF:
-	  return 0;
-	default:
-	  /* We read something.  Eeek.  Try again.  */
-	  break;
-	}
-    }
-}