Add apt-key for ubuntu keyserver (#14114)

This commit is contained in:
Yifei Feng
2017-10-31 10:18:44 -07:00
committed by gunan
parent 479ee24a0a
commit 9a2b0983a9

View File

@@ -28,6 +28,7 @@ if [[ "$1" != "" ]] && [[ "$1" != "--without_cmake" ]]; then
fi
# Install dependencies from ubuntu deb repository.
apt-key adv --keyserver keyserver.ubuntu.com --recv 084ECFC5828AB726
apt-get update
if [[ "$ubuntu_version" == "14" ]]; then