diff options
Diffstat (limited to 'src/ci')
| -rwxr-xr-x | src/ci/run.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ci/run.sh b/src/ci/run.sh index 9a247fb60a8..7de06ec35c3 100755 --- a/src/ci/run.sh +++ b/src/ci/run.sh @@ -123,6 +123,10 @@ else # (And PGO is its own can of worms). if [ "$NO_DOWNLOAD_CI_LLVM" = "" ]; then RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --set llvm.download-ci-llvm=if-available" + else + # When building for CI we want to use the static C++ Standard library + # included with LLVM, since a dynamic libstdcpp may not be available. + RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --set llvm.static-libstdcpp" fi fi |
