[travis] Make travis faster

This commit is contained in:
Fangrui Song 2018-01-02 21:00:41 -08:00
parent e9bde76c7e
commit c8040a3b9e
2 changed files with 14 additions and 6 deletions

View File

@ -6,16 +6,24 @@ env:
global: global:
- COMPILER=g++ - COMPILER=g++
# Default --recursive (rapidjson/thirdparty/gtest) is unnecessary
git:
submodules: false
depth: 3
before_install:
- git submodule update --init
addons: addons:
apt: apt:
sources: &apt_sources sources: &apt_sources
- ubuntu-toolchain-r-test - ubuntu-toolchain-r-test
- llvm-toolchain-precise-3.5 - llvm-toolchain-precise-3.5
- llvm-toolchain-precise-3.6 #- llvm-toolchain-precise-3.6
- llvm-toolchain-precise-3.7 #- llvm-toolchain-precise-3.7
- llvm-toolchain-precise-3.8 #- llvm-toolchain-precise-3.8
- llvm-toolchain-trusty-3.9 #- llvm-toolchain-trusty-3.9
- llvm-toolchain-trusty-4.0 #- llvm-toolchain-trusty-4.0
- llvm-toolchain-trusty-5.0 - llvm-toolchain-trusty-5.0
compiler: clang compiler: clang

View File

@ -93,7 +93,7 @@ def download_and_extract(destdir, url, ext):
dest = destdir + ext dest = destdir + ext
# Extract the tarball. # Extract the tarball.
if not os.path.isdir(destdir): if not os.path.isdir(os.path.join(destdir, 'include')):
# Download and save the compressed tarball as |compressed_file_name|. # Download and save the compressed tarball as |compressed_file_name|.
if not os.path.isfile(dest): if not os.path.isfile(dest):
print('Downloading tarball') print('Downloading tarball')