diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-07-09 18:00:50 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-07-11 11:38:20 +0100 |
| commit | ca346f2c1a08b79a0a2663daa0476e03139091c6 (patch) | |
| tree | b72f0ce2d2fc7ea56f7baa184bb20ff1a444f341 /scripts/build | |
| parent | eff4d9c370782bbe72a9ea8cf083db2debe54d92 (diff) | |
| download | klee-ca346f2c1a08b79a0a2663daa0476e03139091c6.tar.gz | |
Fix slow Mac Travis build: wildcard is not expanded with quotes
Diffstat (limited to 'scripts/build')
| -rwxr-xr-x | scripts/build/llvm.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build/llvm.sh b/scripts/build/llvm.sh index 459fdef9..26ee8efb 100755 --- a/scripts/build/llvm.sh +++ b/scripts/build/llvm.sh @@ -187,7 +187,7 @@ if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then elif [[ "${TRAVIS_OS_NAME}" == "osx" ]]; then # We use our own local cache if possible set +e - brew install "$HOME/Library/Caches/Homebrew/llvm\@${LLVM_VERSION}*.bottle.tar.gz" + brew install "$HOME"/Library/Caches/Homebrew/llvm\@${LLVM_VERSION}*.bottle.tar.gz RES=$? set -ev if [ ${RES} -ne 0 ]; then |