| Index: third_party/WebKit/LayoutTests/external/wpt/ci_stability.sh
|
| diff --git a/third_party/WebKit/LayoutTests/external/wpt/ci_stability.sh b/third_party/WebKit/LayoutTests/external/wpt/ci_stability.sh
|
| index 725c0f076ca06603b82cb87533f13607d5d9129c..eca9debeb3ec93312bbc4cf84dfceb4a736e5f23 100644
|
| --- a/third_party/WebKit/LayoutTests/external/wpt/ci_stability.sh
|
| +++ b/third_party/WebKit/LayoutTests/external/wpt/ci_stability.sh
|
| @@ -25,6 +25,15 @@ install_chrome() {
|
| deb_archive=google-chrome-${channel}_current_amd64.deb
|
| wget https://dl.google.com/linux/direct/$deb_archive
|
|
|
| + # If the environment provides an installation of Google Chrome, the
|
| + # existing binary may take precedence over the one introduced in this
|
| + # script. Remove any previously-existing "alternatives" prior to
|
| + # installation in order to ensure that the new binary is installed as
|
| + # intended.
|
| + if sudo update-alternatives --list google-chrome; then
|
| + sudo update-alternatives --remove-all google-chrome
|
| + fi
|
| +
|
| # Installation will fail in cases where the package has unmet dependencies.
|
| # When this occurs, attempt to use the system package manager to fetch the
|
| # required packages and retry.
|
|
|