From 0763471bfe5118e170a566b4420f33a957429694 Mon Sep 17 00:00:00 2001
From: Trevor Gross <tmgross@umich.edu>
Date: Mon, 6 May 2024 04:21:23 -0500
Subject: [PATCH] build-fix

---
 ci/run-docker.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ci/run-docker.sh b/ci/run-docker.sh
index 2aee07a8..e5ff8a46 100755
--- a/ci/run-docker.sh
+++ b/ci/run-docker.sh
@@ -47,7 +47,8 @@ run() {
            "ci/docker/$target"
     docker run \
            --rm \
-           -e "RUSTFLAGS=${RUSTFLAGS:-}" \
+           -e RUST_COMPILER_RT_ROOT \
+           -e RUSTFLAGS \
            -e "CARGO_TARGET_DIR=/builtins-target" \
            -v "$(pwd):/checkout:ro" \
            -w /checkout \