kopia lustrzana https://github.com/micropython/micropython-lib
if __name__ == "__main__"
rodzic
801203d3d2
commit
ee1934091b
14
installer
14
installer
|
@ -129,11 +129,11 @@ def copy(source_dir, dest_dir):
|
||||||
copytree(source_dir, dest_dir, symlinks=True, ignore=ignore, ignore_dangling_symlinks=False)
|
copytree(source_dir, dest_dir, symlinks=True, ignore=ignore, ignore_dangling_symlinks=False)
|
||||||
|
|
||||||
|
|
||||||
os.makedirs(prefix, exist_ok=True)
|
if __name__ == '__main__':
|
||||||
|
os.makedirs(prefix, exist_ok=True)
|
||||||
|
|
||||||
|
for directory in directories:
|
||||||
for directory in directories:
|
print('Copying directory {}'.format(directory))
|
||||||
print('Copying directory {}'.format(directory))
|
os.chdir(directory)
|
||||||
os.chdir(directory)
|
copy('.', prefix)
|
||||||
copy('.', prefix)
|
os.chdir('..')
|
||||||
os.chdir('..')
|
|
||||||
|
|
Ładowanie…
Reference in New Issue