From 0ff6dad61ec6bb3e440135ae8db2dd7b68901bac Mon Sep 17 00:00:00 2001 From: Andrea Mattavelli Date: Fri, 1 Dec 2017 14:43:04 +0000 Subject: Move Homebrew tap from personal repository to the KLEE organization --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ########################################################################### -- cgit 1.4.1