aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPřemysl Janouch <p.janouch@gmail.com>2015-05-08 00:16:16 +0200
committerPřemysl Janouch <p.janouch@gmail.com>2015-05-08 00:16:16 +0200
commit78db31f3e0dcaa4d2bd11181a2bcd67a357fb518 (patch)
tree8d5a9d41c30acb80a7b687f7e72d66f7f40e6152
parentb3b89b029e775911e959a076b1ee2a2d723019dc (diff)
downloadxK-78db31f3e0dcaa4d2bd11181a2bcd67a357fb518.tar.gz
xK-78db31f3e0dcaa4d2bd11181a2bcd67a357fb518.tar.xz
xK-78db31f3e0dcaa4d2bd11181a2bcd67a357fb518.zip
Travis CI: try fixing the PPA
-rw-r--r--.travis.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml
index ce77a94..87c8460 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -24,7 +24,7 @@ compiler:
- gcc
before_install:
# We need this PPA for a recent version of libedit
- - sudo add-apt-repository ppa:ondrej/php -y
+ - sudo add-apt-repository ppa:ondrej/php5-5.6 -y
- sudo apt-get update -qq
install:
- sudo apt-get install -y help2man libedit-dev