diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-10-29 10:32:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-29 10:32:51 +0100 |
| commit | 95ad6c33c7744da263c6cf05840cbfdfd790bb89 (patch) | |
| tree | e4611d09c1a8c7e6cdfafa65fc73f36e059b3f1c /src/ci/scripts | |
| parent | 4fb8a9a73cb5c42543e02ce1d797a6d028f6068f (diff) | |
| download | rust-95ad6c33c7744da263c6cf05840cbfdfd790bb89.tar.gz rust-95ad6c33c7744da263c6cf05840cbfdfd790bb89.zip | |
Apply suggestions from lzutao
Co-Authored-By: lzutao <taolzu@gmail.com>
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 a38099a2db7..f945db0ada2 100755 --- a/src/ci/scripts/should-skip-this.sh +++ b/src/ci/scripts/should-skip-this.sh @@ -10,7 +10,7 @@ source "$(cd "$(dirname "$0")" && pwd)/../shared.sh" if [[ -z "${CI_ONLY_WHEN_SUBMODULES_CHANGED+x}" ]]; then echo "Executing the job since there is no skip rule in effect" -elif git diff HEAD^ | grep "^index .* 160000" >/dev/null 2>&1; then +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" |