6
98%
master: 98%

Ran 22 Aug 2020 01:41AM UTC

Files 274

Run time 12s

Badge

Embed ▾

Committed 22 Aug 2020 01:18AM UTC coverage: 98.017% (+0.001%) from 98.016%

Job # MAKEOPTS="-j4"

Build Type

push

travis-ci-com

Committed by

dpgeorge

Commit Message

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>

Coverage Stats

19476 of 19870 relevant lines covered (98.02%)

433182.96 hits per line

micropython / micropython / 14148 / 6
98%
master: 98%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 14148.6 (MAKEOPTS="-j4")

micropython / micropython / 14148 / 6 98% master: 98%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 14148.6 (MAKEOPTS="-j4")

micropython / micropython / 14148 / 6
98%
master: 98%

README BADGES
x