X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=dump.c;h=212421cb8045f5d330129c1882745abe1ae4388c;hb=860ae7593728a465b1f0d5e443df7e624df9cf30;hp=1b7a8ed8e78c5ddd68affbf69ccc3ede8b55e8fa;hpb=0322f357aebb8e1c22f1d929f13bf5c555d95bb9;p=pspp

diff --git a/dump.c b/dump.c
index 1b7a8ed8e7..212421cb80 100644
--- a/dump.c
+++ b/dump.c
@@ -6,6 +6,7 @@
 #include <stdlib.h>
 #include <string.h>
 #include <sys/stat.h>
+#include <time.h>
 #include <unistd.h>
 #include "u8-mbtouc.h"
 
@@ -1138,7 +1139,13 @@ dump_fonts(void)
               printf("<datafile>%s</datafile>\n", get_string());
 
               match_u32_assert(0);
-              get_u32();
+
+              time_t date = get_u32();
+              struct tm tm = *localtime(&date);
+              char s[128];
+              strftime(s, sizeof s, "%a, %d %b %Y %H:%M:%S %z", &tm);
+              printf("<date>%s</date>\n", s);
+
               match_u32_assert(0);
             }
         }