/* settime -- set the system clock
- Copyright (C) 2002, 2004, 2005 Free Software Foundation, Inc.
+
+ Copyright (C) 2002, 2004, 2005, 2006, 2007 Free Software
+ Foundation, Inc.
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
/* Written by Paul Eggert. */
-#ifdef HAVE_CONFIG_H
-# include <config.h>
-#endif
+#include <config.h>
#include "timespec.h"
+#include <sys/time.h>
#include <unistd.h>
#include <errno.h>