diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-12-01 14:43:04 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-12-05 22:35:15 +0000 |
| commit | 0ff6dad61ec6bb3e440135ae8db2dd7b68901bac (patch) | |
| tree | 2f5f57a0e3cd1cf4133a15a5065defff9a795fa0 /.travis.yml | |
| parent | a248708ad455d3717c632d0c3e58b5e977c705c6 (diff) | |
| download | klee-0ff6dad61ec6bb3e440135ae8db2dd7b68901bac.tar.gz | |
Move Homebrew tap from personal repository to the KLEE organization
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 0e084aa2..7aa521aa 100644 --- a/.travis.yml +++ b/.travis.yml @@ -107,7 +107,7 @@ before_install: ########################################################################### # Update package information - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get update; fi - - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew update && brew tap andreamattavelli/klee; fi + - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew update && brew tap klee/klee; fi ########################################################################### # Set up out of source build directory ########################################################################### |