ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fix building with python 3

pull/7769/head
Olli-Pekka Puolitaival 2018-08-13 12:43:15 +03:00
parent 72a0bd4374
commit 2059fed945
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/toolchains/__init__.py
View File

@ -321,7 +321,7 @@ class mbedToolchain:
except IOError: except IOError:
old_md5 = None old_md5 = None
if old_md5 != new_md5: if old_md5 != new_md5:
with open(via_file, "w") as fd: with open(via_file, "wb") as fd:
fd.write(to_write) fd.write(to_write)
return via_file return via_file