Skip to content

Commit

Permalink
Rollup merge of rust-lang#102949 - RalfJung:should-skip-this, r=Dylan…
Browse files Browse the repository at this point in the history
…-DPC

should-skip-this: add missing backslash

I screwed this up in rust-lang#102780.

r? ``@Mark-Simulacrum``
  • Loading branch information
JohnTitor authored Oct 13, 2022
2 parents f4c9580 + 9c26fec commit 3c8c997
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/ci/scripts/should-skip-this.sh
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ if [[ -n "${CI_ONLY_WHEN_SUBMODULES_CHANGED-}" ]]; then
# those files are present in the diff a submodule was updated.
echo "Submodules were updated"
elif ! (git diff --quiet "$BASE_COMMIT" -- \
src/tools/clippy src/tools/rustfmt src/tools/miri
src/tools/clippy src/tools/rustfmt src/tools/miri \
library/std/src/sys); then
# There is not an easy blanket search for subtrees. For now, manually list
# the subtrees.
Expand Down

0 comments on commit 3c8c997

Please sign in to comment.