diff --git a/src/ci/docker/host-x86_64/dist-x86_64-linux/Dockerfile b/src/ci/docker/host-x86_64/dist-x86_64-linux/Dockerfile index f6db8047163f7..4c0818afd0f9a 100644 --- a/src/ci/docker/host-x86_64/dist-x86_64-linux/Dockerfile +++ b/src/ci/docker/host-x86_64/dist-x86_64-linux/Dockerfile @@ -79,6 +79,7 @@ ENV RUST_CONFIGURE_ARGS \ --set rust.use-lld=true \ --set rust.lto=thin \ --set rust.debuginfo=1 \ + --set rust.strip=false \ --set rust.codegen-units=1 ENV SCRIPT python3 ../x.py build --set rust.debug=true opt-dist && \