Skip to content
This repository was archived by the owner on May 28, 2025. It is now read-only.

Commit f7a3aa9

Browse files
committed
remove a hack that is no longer needed
1 parent 6ce00aa commit f7a3aa9

File tree

1 file changed

+0
-9
lines changed

1 file changed

+0
-9
lines changed

src/tools/miri/ci/ci.sh

Lines changed: 0 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -13,15 +13,6 @@ function endgroup {
1313

1414
begingroup "Building Miri"
1515

16-
# Special Windows hacks
17-
if [ "$HOST_TARGET" = i686-pc-windows-msvc ]; then
18-
# The $BASH variable is `/bin/bash` here, but that path does not actually work. There are some
19-
# hacks in place somewhere to try to paper over this, but the hacks dont work either (see
20-
# <https://github.com/rust-lang/miri/pull/3402>). So we hard-code the correct location for Github
21-
# CI instead.
22-
BASH="C:/Program Files/Git/usr/bin/bash"
23-
fi
24-
2516
# Global configuration
2617
export RUSTFLAGS="-D warnings"
2718
export CARGO_INCREMENTAL=0

0 commit comments

Comments
 (0)