1 files changed, 18 insertions, 0 deletions
diff --git a/shells/pdksh/files/ksh_times.h b/shells/pdksh/files/ksh_times.h
new file mode 100644
index 00000000000..7a38b2bc8a7
--- /dev/null
+++ b/shells/pdksh/files/ksh_times.h
@@ -0,0 +1,18 @@
+#ifndef KSH_TIMES_H
+# define KSH_TIMES_H
+
+/* Needed for clock_t on some systems (ie, NeXT in non-posix mode) */
+#include "ksh_time.h"
+
+#include <sys/times.h>
+
+#ifdef TIMES_BROKEN
+extern clock_t	ksh_times ARGS((struct tms *));
+#else /* TIMES_BROKEN */
+# define ksh_times times
+#endif /* TIMES_BROKEN */
+
+#ifdef HAVE_TIMES
+extern clock_t	times ARGS((struct tms *));
+#endif /* HAVE_TIMES */
+#endif /* KSH_TIMES_H */