Skip to content

Commit a12decc

Browse files
committed
desperate hack: hard-code bash path on Windows
1 parent 04b523f commit a12decc

File tree

1 file changed

+10
-1
lines changed

1 file changed

+10
-1
lines changed

src/tools/miri/ci/ci.sh

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,15 @@ 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+
1625
# Determine configuration for installed build
1726
echo "Installing release version of Miri"
1827
export RUSTFLAGS="-D warnings"
@@ -63,7 +72,7 @@ function run_tests {
6372
done
6473

6574
# Check that the benchmarks build and run, but without actually benchmarking.
66-
HYPERFINE="bash -c" ./miri bench
75+
HYPERFINE="'$BASH' -c" ./miri bench
6776
fi
6877

6978
## test-cargo-miri

0 commit comments

Comments
 (0)