Skip to content

Commit

Permalink
build-fix
Browse files Browse the repository at this point in the history
  • Loading branch information
tgross35 committed May 6, 2024
1 parent c2b7132 commit 0763471
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion ci/run-docker.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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 \
Expand Down

0 comments on commit 0763471

Please sign in to comment.