tree f47d03698fb85f97cd872580bcfd6d35291262e9
parent 4405b6b4998d08a25b5768c29e4c82ed2ea5a67b
author nagendra modadugu <ngm@google.com> 1515113181 -0800
committer nagendra modadugu <ngm@google.com> 1515113497 -0800

build: fix cross-platform build issue

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

Change-Id: I9892ee7b8eaf355c5ddc280125f4d857353d8963