From 28cbedfa3b5e028cac975a586b16a6f1c36f5d80 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 4 Jul 2024 12:36:58 +0100
Subject: [PATCH] Make ptime take 64-bit value

No functional change just yet.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 cprogs/summer.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/cprogs/summer.c b/cprogs/summer.c
index 762b5d6..226fed1 100644
--- 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;
   }
 
-- 
2.30.2