[waf] Prep for travis cache directories

This commit is contained in:
Fangrui Song 2018-01-02 20:33:53 -08:00
parent 1220463efe
commit 2830548768

View File

@ -91,6 +91,9 @@ def options(opt):
def download_and_extract(destdir, url, ext):
dest = destdir + ext
# Extract the tarball.
if not os.path.isdir(destdir):
# Download and save the compressed tarball as |compressed_file_name|.
if not os.path.isfile(dest):
print('Downloading tarball')
@ -109,9 +112,7 @@ def download_and_extract(destdir, url, ext):
else:
print('Found tarball at {0}'.format(dest))
# Extract the tarball.
if not os.path.isdir(destdir):
print('Extracting')
print('Extracting {0}'.format(dest))
# TODO: make portable.
if ext == '.exe':
subprocess.call(['7z', 'x', '-o{0}'.format(destdir), '-xr!$PLUGINSDIR', dest])