admin/ci-emsdk
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Force update to unzip package even if previous update had been performed.

Browse Source
This commit is contained in:
Jukka Jylänki
2013-09-30 14:16:46 +03:00
parent 170e230a2f
commit 4bc8e9e2c4
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
emsdk
View File

@@ -80,8 +80,8 @@ def run(cmd, cwd=None):
return process.returncode return process.returncode
# http://pythonicprose.blogspot.fi/2009/10/python-extract-targz-archive.html # http://pythonicprose.blogspot.fi/2009/10/python-extract-targz-archive.html
def untargz(source_filename, dest_dir): def untargz(source_filename, dest_dir, unpack_even_if_exists=False):
if num_files_in_directory(dest_dir) > 0: if not unpack_even_if_exists and num_files_in_directory(dest_dir) > 0:
print "File '" + source_filename + "' has already been unpacked, skipping." print "File '" + source_filename + "' has already been unpacked, skipping."
return True return True
print "Unpacking '" + source_filename + "' to '" + dest_dir + "'" print "Unpacking '" + source_filename + "' to '" + dest_dir + "'"
@@ -93,7 +93,7 @@ def untargz(source_filename, dest_dir):
# http://stackoverflow.com/questions/12886768/simple-way-to-unzip-file-in-python-on-all-oses # http://stackoverflow.com/questions/12886768/simple-way-to-unzip-file-in-python-on-all-oses
def unzip(source_filename, dest_dir): def unzip(source_filename, dest_dir):
if num_files_in_directory(dest_dir) > 0: if not unpack_even_if_exists and num_files_in_directory(dest_dir) > 0:
print "File '" + source_filename + "' has already been unpacked, skipping." print "File '" + source_filename + "' has already been unpacked, skipping."
return True return True
print "Unpacking '" + source_filename + "' to '" + dest_dir + "'" print "Unpacking '" + source_filename + "' to '" + dest_dir + "'"
@@ -248,9 +248,9 @@ def download_and_unzip(zipfile, dest_dir, download_even_if_exists=False):
if not success: if not success:
return False return False
if zipfile.endswith('.zip'): if zipfile.endswith('.zip'):
return unzip('zips/'+zipfile, dest_dir) return unzip('zips/'+zipfile, dest_dir, unpack_even_if_exists=download_even_if_exists)
else: else:
return untargz('zips/'+zipfile, dest_dir) return untargz('zips/'+zipfile, dest_dir, unpack_even_if_exists=download_even_if_exists)
def to_unix_path(p): def to_unix_path(p):
return p.replace('\\', '/') return p.replace('\\', '/')