Tweak build script 🐍
This commit is contained in:
parent
d981e252d2
commit
8140cb2d6b
@ -91,7 +91,7 @@ def main():
|
|||||||
if output_needs_cleaning():
|
if output_needs_cleaning():
|
||||||
shutil.rmtree('OUTPUT')
|
shutil.rmtree('OUTPUT')
|
||||||
if not os.path.isdir('OUTPUT'):
|
if not os.path.isdir('OUTPUT'):
|
||||||
os.makedirs('OUTPUT')
|
os.mkdir('OUTPUT')
|
||||||
with Chdir('OUTPUT'):
|
with Chdir('OUTPUT'):
|
||||||
run_shell(config_argv, env = build_env)
|
run_shell(config_argv, env = build_env)
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user