Make ptime take 64-bit value

No functional change just yet.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/cprogs/summer.c b/cprogs/summer.c
index 762b5d68812ac0b5e20d86ce65745bb40b6a5e06..226fed14b1e154b80c58a1c5510289ae12c83fcd 100644 (file)
--- a/cprogs/summer.c
+++ b/cprogs/summer.c
@@ -33,6 +33,7 @@
 #include <sys/stat.h>
 #include <unistd.h>
 #include <stdio.h>
+#include <inttypes.h>
 #include <string.h>
 #include <errno.h>
 #include <stdarg.h>
@@ -167,7 +168,7 @@ static void pu10(void) { printf(" %10s", "?"); }
 
 #define PTIME(stab, memb)  ((stab) ? ptime((stab), (stab)->memb) : pu10())
 
-static void ptime(const struct stat *stab, unsigned long val) {
+static void ptime(const struct stat *stab, uint64_t val) {
   const char *instead;
 
   if (!hidextime) goto justprint;
@@ -178,7 +179,7 @@ static void ptime(const struct stat *stab, unsigned long val) {
   else if (S_ISFIFO(stab->st_mode)) instead= "pipe";
   else {
   justprint:
-    printf(" %10lu", val);
+    printf(" %10" PRIu64 "", val);
     return;
   }