diff options
Diffstat (limited to 'script/install-deps-linux.sh')
-rwxr-xr-x | script/install-deps-linux.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/script/install-deps-linux.sh b/script/install-deps-linux.sh deleted file mode 100755 index 15bac4d08..000000000 --- a/script/install-deps-linux.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh - -set -x - -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 |