Skip to content

Commit 361355e

Browse files
authored
Update raspberry_pi.py
Use os.makedirs instead of os.mkdir so the intermediate directory 'originals' will be created
1 parent 7efcaa9 commit 361355e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

builder/raspberry_pi.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@
1717

1818

1919
if not os.path.exists('micropy_updates/originals/raspberry_pi'):
20-
os.mkdir('micropy_updates/originals/raspberry_pi')
20+
os.makedirs('micropy_updates/originals/raspberry_pi')
2121

2222

2323
unix.REAL_PORT = 'raspberry_pi'

0 commit comments

Comments
 (0)