]> granicus.if.org Git - esp-idf/commit
projects / esp-idf / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81ffc87) | patch
idf_tools.py: add workaround for PermissionError in os.rename
authorIvan Grokhotkov <ivan@espressif.com>
Mon, 23 Sep 2019 04:01:09 +0000 (06:01 +0200)
committerIvan Grokhotkov <ivan@espressif.com>
Tue, 24 Sep 2019 04:00:31 +0000 (06:00 +0200)
commit3bbb758bc5ff70e97ae0629830513f62cf4ffaa2
treec18005052d378abe3588ede89ec1ced243d5dd0ctree | snapshot
parent81ffc873711caa56dd9819089b458424050752c9commit | diff
idf_tools.py: add workaround for PermissionError in os.rename

Closes https://github.com/espressif/esp-idf/issues/4063
Closes https://github.com/espressif/esp-idf/issues/3819
tools/idf_tools.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.