diff options
Diffstat (limited to 'odp-coverity.yaml')
| -rw-r--r-- | odp-coverity.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/odp-coverity.yaml b/odp-coverity.yaml index b54a79e52b..aaae765a2d 100644 --- a/odp-coverity.yaml +++ b/odp-coverity.yaml @@ -56,6 +56,7 @@ rm -rf check-odp git clone --depth 1 git://git.linaro.org/lng/check-odp.git + sudo sed -i -e 's/archive.ubuntu.com\|security.ubuntu.com/old-releases.ubuntu.com/g' /etc/apt/sources.list sudo apt-get update sudo apt-get install -y --no-install-recommends libssl-dev |