travis: cache creates directory - check file instead before downloading

This commit is contained in:
Jacek Sieka 2018-08-21 14:15:26 -06:00
parent 4aca1e5b9c
commit 84f992d9df
No known key found for this signature in database
GPG Key ID: 6299FEB3EB6FA465
1 changed files with 1 additions and 1 deletions

View File

@ -25,7 +25,7 @@ matrix:
sudo: required
before_install:
- sudo apt-get install -y libssl-dev libgflags-dev libsnappy-dev
- "[ -d rocksdb-5.14.2 ] || { wget https://github.com/facebook/rocksdb/archive/v5.14.2.tar.gz && tar xvf v5.14.2.tar.gz; }"
- "[ -f rocksdb-5.14.2/Makefile ] || { wget https://github.com/facebook/rocksdb/archive/v5.14.2.tar.gz && tar xvf v5.14.2.tar.gz; }"
# rocksdb not present on trusty - on a newer ubuntu you can apt-get install -y librocksdb-dev
- cd rocksdb-5.14.2 && make shared_lib -j$(nproc) && sudo make INSTALL_PATH=/usr install-shared && cd ..