* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
*/
-#include "config.h"
+#include <config.h>
#include <errno.h>
+#ifndef HAVE_TIMESPEC
+# include <time.h>
+#endif
#ifdef __STDC__
# include <stdarg.h>
#else
# include <varargs.h>
#endif
-#ifndef lint
-static const char rcsid[] = "$Sudo: sudo_noexec.c,v 1.11 2005/03/10 15:09:28 millert Exp $";
-#endif /* lint */
+#include <compat.h>
/*
* Dummy versions of the execve() family of syscalls. We don't need