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

On certain machines the USB interface is slower: keep a safer delay 

after the copy
pull/1/head
Emilio Monti 2013-02-18 22:25:28 +00:00
parent 649c53f46d
commit da75686e1d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
workspace_tools/make.py
View File

@ -86,7 +86,7 @@ if __name__ == '__main__':
if options.disk: if options.disk:
# Simple copy to the mbed disk # Simple copy to the mbed disk
copy(bin, options.disk) copy(bin, options.disk)
sleep(1) sleep(2)
if options.serial: if options.serial:
serial = Serial(options.serial, timeout = 1) serial = Serial(options.serial, timeout = 1)