commit cd3871d23ca2f900042b1223ac103a65062b17d1
author nagendra modadugu <ngm@google.com> Thu Jan 04 16:46:21 2018 -0800
committer nagendra modadugu <ngm@google.com> Thu Jan 04 16:51:37 2018 -0800
tree f47d03698fb85f97cd872580bcfd6d35291262e9
parent 4405b6b4998d08a25b5768c29e4c82ed2ea5a67b

build: fix cross-platform build issue

The format specifier for uint64 ought
to be set by system headers.

Change-Id: I9892ee7b8eaf355c5ddc280125f4d857353d8963

nugget/include/signed_header.h

diff --git a/nugget/include/signed_header.h b/nugget/include/signed_header.h
index 2135a7f..a2746ac 100644
--- a/nugget/include/signed_header.h
+++ b/nugget/include/signed_header.h
@@ -15,6 +15,7 @@
 #endif
 
 #include <assert.h>
+#include <inttypes.h>
 #include <stdint.h>
 #include <string.h>
 
@@ -89,7 +90,7 @@
     printf("hdr.epoch          : %08x\n", epoch_);
     printf("hdr.major          : %08x\n", major_);
     printf("hdr.minor          : %08x\n", minor_);
-    printf("hdr.timestamp      : %016lx, %s", timestamp_,
+    printf("hdr.timestamp      : %016" PRIu64 "x, %s", timestamp_,
            asctime(localtime(reinterpret_cast<const time_t*>(&timestamp_))));
     printf("hdr.img_chk        : %08x\n", be32toh(img_chk_));
     printf("hdr.fuses_chk      : %08x\n", be32toh(fuses_chk_));