| Index: ports/eigen3/build.sh
|
| diff --git a/ports/eigen3/build.sh b/ports/eigen3/build.sh
|
| index 67faa84dc4487f07fbf621e03caa3ef8c86e23a0..1e51b66de8386700305358f6e0d26e7571f7d5ca 100644
|
| --- a/ports/eigen3/build.sh
|
| +++ b/ports/eigen3/build.sh
|
| @@ -22,7 +22,7 @@ EXTRA_CMAKE_ARGS="-DEIGEN_BUILD_PKGCONFIG=OFF -DEIGEN_SPLIT_LARGE_TESTS=OFF"
|
| MAKE_TARGETS="$CTEST_EXECUTABLES"
|
|
|
| # Eigen tests are flakey on the bots:
|
| -# https://bugs.chromium.org/p/naclports/issues/detail?id=223
|
| +# https://bugs.chromium.org/p/webports/issues/detail?id=223
|
| # TODO(sbc): re-enable if we can de-flake the tests
|
| TESTS_DISABLED=1
|
|
|
|
|