diff options
| author | Mark Rousskov <mark.simulacrum@gmail.com> | 2020-11-07 21:22:48 -0500 |
|---|---|---|
| committer | Mark Rousskov <mark.simulacrum@gmail.com> | 2020-11-07 21:26:42 -0500 |
| commit | d847299674c35d36091b166051909a2e1b965de8 (patch) | |
| tree | dc31b525770a4bf6e63538cb00e46592ace5deac /src/ci/scripts | |
| parent | 0256d065d4901b63def6c04013da4f781d0752bb (diff) | |
| download | rust-d847299674c35d36091b166051909a2e1b965de8.tar.gz rust-d847299674c35d36091b166051909a2e1b965de8.zip | |
Run tools builder on subtree changes
Diffstat (limited to 'src/ci/scripts')
| -rwxr-xr-x | src/ci/scripts/should-skip-this.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ci/scripts/should-skip-this.sh b/src/ci/scripts/should-skip-this.sh index f945db0ada2..36bf4368990 100755 --- a/src/ci/scripts/should-skip-this.sh +++ b/src/ci/scripts/should-skip-this.sh @@ -14,6 +14,10 @@ elif git diff HEAD^ | grep --quiet "^index .* 160000"; then # Submodules pseudo-files inside git have the 160000 permissions, so when # those files are present in the diff a submodule was updated. echo "Executing the job since submodules are updated" +elif git diff --name-only HEAD^ | grep --quiet src/tools/clippy; then + # There is not an easy blanket search for subtrees. For now, manually list + # clippy. + echo "Executing the job since clippy subtree was updated" else echo "Not executing this job since no submodules were updated" ciCommandSetEnv SKIP_JOB 1 |
