diff options
| author | Ralf Jung <post@ralfj.de> | 2022-10-12 08:19:50 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-10-12 08:19:50 +0200 |
| commit | 9c26fec046bd993bb59edff1611be4c603ba653e (patch) | |
| tree | 421efa75c59632226c30d62c3753ba72469c385f /src/ci/scripts | |
| parent | 7e8d64e792543fedb8574ac0a27522dbab66aa52 (diff) | |
| download | rust-9c26fec046bd993bb59edff1611be4c603ba653e.tar.gz rust-9c26fec046bd993bb59edff1611be4c603ba653e.zip | |
should-skip-this: add missing backslash
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. |