From 404dc6a84d75e70cc7433f61eea3dd17e8d9787b Mon Sep 17 00:00:00 2001 From: Joel Bethke Date: Tue, 15 Oct 2019 14:24:28 -0500 Subject: [PATCH] CI: Remove dead PPA to fix Linux build failure --- CI/install-dependencies-linux.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/CI/install-dependencies-linux.sh b/CI/install-dependencies-linux.sh index 391c1818c..ca8419b84 100755 --- a/CI/install-dependencies-linux.sh +++ b/CI/install-dependencies-linux.sh @@ -1,7 +1,6 @@ #!/bin/sh set -ex -sudo add-apt-repository ppa:jonathonf/ffmpeg-3 -y curl -L https://packagecloud.io/github/git-lfs/gpgkey | sudo apt-key add - # gets us newer clang