-static char *sccsid = "@(#)time.c 4.3 (Berkeley) 11/14/82";
+#ifndef lint
+static char *sccsid = "@(#)time.c 4.5 (Berkeley) 7/1/83";
+#endif
/*
* time
#include <stdio.h>
#include <signal.h>
#include <sys/types.h>
-#include <time.h>
-#include <resource.h>
+#include <sys/time.h>
+#include <sys/resource.h>
main(argc, argv)
int argc;