diff options
| author | Damien George | 2020-08-22 01:07:57 +1000 |
|---|---|---|
| committer | Damien George | 2020-08-22 11:18:48 +1000 |
| commit | 448319a7450714efd72ae527e184a247a82ee39d (patch) | |
| tree | a85a575efaf2a83e975ad3b6ab8edbc635124a9f /docs/differences | |
| parent | 492cf34fd860330f44a74732d89e9db8bc02a4e8 (diff) | |
tools/makemanifest.py: Use os.makedirs to make path for generated files.
The existing implementation of mkdir() in this file is not sophisticated
enough to work correctly on all operating systems (eg Mac can raise
EISDIR). Using the standard os.makedirs() function handles all cases
correctly.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'docs/differences')
0 files changed, 0 insertions, 0 deletions