-/* Copyright (C) 2009-2013 Free Software Foundation, Inc.
+/* Copyright (C) 2009-2019 Free Software Foundation, Inc.
This file is part of GDB.
#include "defs.h"
#include "gdb_usleep.h"
#include "gdb_select.h"
-#include "gdb_usleep.h"
-
-#include <sys/time.h>
+#include "common/gdb_sys_time.h"
int
gdb_usleep (int usec)