#ifndef lint
static char *rcsid_gdb_serv_c = "$Header$";
-#endif lint
+#endif
/************************************************************************
#include <sys/ioctl.h>
#ifdef SOLARIS
#include <sys/filio.h>
+#endif
+#ifdef POSIX
+#include <unistd.h>
#endif
/*----------------------------------------------------------