mirrors
/
micropython
mirror of https://github.com/micropython/micropython.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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>
This commit is contained in:
Damien George 2020-08-22 01:07:57 +10:00
parent 492cf34fd8
commit 448319a745
1 changed files with 4 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
tools/makemanifest.py
View File

@ -25,7 +25,6 @@
# THE SOFTWARE. # THE SOFTWARE.
from __future__ import print_function from __future__ import print_function
import errno
import sys import sys
import os import os
import subprocess import subprocess
@ -165,17 +164,10 @@ def get_timestamp_newest(path):
return ts_newest return ts_newest
def mkdir(path): def mkdir(filename):
cur_path = "" path = os.path.dirname(filename)
for p in path.split("/")[:-1]: if not os.path.isdir(path):
cur_path += p + "/" os.makedirs(path)
try:
os.mkdir(cur_path)
except OSError as er:
if er.args[0] == errno.EEXIST:
pass
else:
raise er
def freeze_internal(kind, path, script, opt): def freeze_internal(kind, path, script, opt):