Merge pull request #8330 from theotherjimmy/force-int-time

Tools: Fix Python3 + firmware header traeback
ARMmbed · Oct 9, 2018 · 4a0e2bd · 4a0e2bd
2 parents fd4f47d + 8d63ef6
commit 4a0e2bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/build_api.py b/tools/build_api.py
@@ -377,7 +377,7 @@ def _fill_header(region_list, current_region):
  elif type == "timestamp":
  fmt = {"32le": "<L", "64le": "<Q",
  "32be": ">L", "64be": ">Q"}[subtype]
- header.puts(start, struct.pack(fmt, time()))
+ header.puts(start, struct.pack(fmt, int(time())))
  elif type == "size":
  fmt = {"32le": "<L", "64le": "<Q",
  "32be": ">L", "64be": ">Q"}[subtype]