diff options
-rwxr-xr-x | script/install-deps-linux.sh | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/script/install-deps-linux.sh b/script/install-deps-linux.sh index c18b03bfe..15bac4d08 100755 --- a/script/install-deps-linux.sh +++ b/script/install-deps-linux.sh @@ -2,7 +2,11 @@ set -x -echo "deb http://libgit2deps.edwardthomson.com trusty libgit2deps" | sudo tee -a /etc/apt/sources.list -sudo apt-key adv --keyserver pgp.mit.edu --recv 99131CD5 -sudo apt-get update -qq -sudo apt-get install -y cmake curl libcurl3 libcurl3-gnutls libcurl4-gnutls-dev libssh2-1-dev openssh-client openssh-server valgrind +if [ -z "$PRECISE" ]; then + echo "deb http://libgit2deps.edwardthomson.com trusty libgit2deps" | sudo tee -a /etc/apt/sources.list + sudo apt-key adv --keyserver pgp.mit.edu --recv 99131CD5 + sudo apt-get update -qq + sudo apt-get install -y curl libcurl3 libcurl3-gnutls libcurl4-gnutls-dev +fi + +sudo apt-get install -y cmake libssh2-1-dev openssh-client openssh-server valgrind |