Update create-dist script for changes of building system.
This commit is contained in:
parent
cce712549b
commit
5845740844
3 changed files with 51 additions and 56 deletions
|
@ -54,6 +54,14 @@ def extract_zip(zip_path, destination):
|
|||
z.extractall(destination)
|
||||
|
||||
|
||||
def rm_rf(path):
|
||||
try:
|
||||
shutil.rmtree(path)
|
||||
except OSError as e:
|
||||
if e.errno != errno.ENOENT:
|
||||
raise
|
||||
|
||||
|
||||
def safe_unlink(path):
|
||||
try:
|
||||
os.unlink(path)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue