sh: prt uses clock_t for time

diff --git a/Applications/V7/cmd/sh/print.c b/Applications/V7/cmd/sh/print.c
index 210687f..a51f98a 100644 (file)
--- a/Applications/V7/cmd/sh/print.c
+++ b/Applications/V7/cmd/sh/print.c
@@ -48,8 +48,7 @@ void prc(char c)
                write(output, &c, 1);
 }
 
-/* FIXME: time_t is not safely L_INT ! */
-void prt(L_INT t)
+void prt(clock_t t)
 {
        register int hr, min, sec;