diff options
| author | Yuki Okushi <jtitor@2k36.org> | 2022-10-13 09:41:26 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-13 09:41:26 +0900 |
| commit | 3c8c997d0d095f5fe8643157ce7d091a87a354da (patch) | |
| tree | 00098ace0aeec726515c2b34268470e2fd571558 /src/ci/scripts | |
| parent | f4c9580c65d47fa3a2866d81f38cb5b0d18648f7 (diff) | |
| parent | 9c26fec046bd993bb59edff1611be4c603ba653e (diff) | |
| download | rust-3c8c997d0d095f5fe8643157ce7d091a87a354da.tar.gz rust-3c8c997d0d095f5fe8643157ce7d091a87a354da.zip | |
Rollup merge of #102949 - RalfJung:should-skip-this, r=Dylan-DPC
should-skip-this: add missing backslash I screwed this up in https://github.com/rust-lang/rust/pull/102780. r? ``@Mark-Simulacrum``
Diffstat (limited to 'src/ci/scripts')
| -rwxr-xr-x | src/ci/scripts/should-skip-this.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/scripts/should-skip-this.sh b/src/ci/scripts/should-skip-this.sh index 60c2960b160..a8a1899317f 100755 --- a/src/ci/scripts/should-skip-this.sh +++ b/src/ci/scripts/should-skip-this.sh @@ -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. |