Skip to content

Commit f0b1150

Browse files
authored
Rollup merge of #140917 - RalfJung:checktools, r=WaffleLapkin
checktools.sh: fix bashism Follow-up to #140903. Turns out `tests/{pass,panic}` only properly expands in bash, not in dash. :/ r? `@WaffleLapkin`
2 parents b9839ab + f96fb61 commit f0b1150

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ fi
4747
# we only ensure that all assertions still pass.
4848
MIRIFLAGS="-Zmiri-force-intrinsic-fallback --cfg force_intrinsic_fallback -O -Zmir-opt-level=4 -Cdebug-assertions=yes" \
4949
MIRI_SKIP_UI_CHECKS=1 \
50-
python3 "$X_PY" test --stage 2 src/tools/miri -- tests/{pass,panic}
50+
python3 "$X_PY" test --stage 2 src/tools/miri -- tests/pass tests/panic
5151
# We natively run this script on x86_64-unknown-linux-gnu and x86_64-pc-windows-msvc.
5252
# Also cover some other targets via cross-testing, in particular all tier 1 targets.
5353
case $HOST_TARGET in

0 commit comments

Comments
 (0)