Merge pull request #19516 from tchaikov/wip-install-deps

install-deps.sh: use tee for writing a file

Reviewed-by: Ken Dreyer <kdreyer@redhat.com>
This commit is contained in:
Kefu Chai 2017-12-15 00:02:39 +08:00 committed by GitHub
commit 4eb2fe497a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -38,7 +38,7 @@ function ensure_decent_gcc_on_deb {
local dist=$(lsb_release --short --codename)
if [ ! -f /usr/bin/g++-${new} ]; then
$SUDO cat > /etc/apt/sources.list.d/ubuntu-toolchain-r.list <<EOF
$SUDO tee /etc/apt/sources.list.d/ubuntu-toolchain-r.list <<EOF
deb http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu $dist main
deb http://mirror.cs.uchicago.edu/ubuntu-toolchain-r $dist main
deb http://mirror.yandex.ru/mirrors/launchpad/ubuntu-toolchain-r $dist main