mirror of
https://github.com/debauchee/barrier.git
synced 2025-08-06 10:09:28 +02:00
code to rename legacy build dir
This commit is contained in:
parent
1ca32353d9
commit
f9374cbb2b
1 changed files with 4 additions and 0 deletions
4
hm.py
4
hm.py
|
@ -32,6 +32,10 @@
|
||||||
import sys, os
|
import sys, os
|
||||||
sys.path.append('tools')
|
sys.path.append('tools')
|
||||||
|
|
||||||
|
if os.path.exists('build'):
|
||||||
|
print "Removing legacy build dir."
|
||||||
|
os.rename('build', 'build.old')
|
||||||
|
|
||||||
from build import toolchain
|
from build import toolchain
|
||||||
from getopt import gnu_getopt
|
from getopt import gnu_getopt
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue