mirror of
https://github.com/git/git.git
synced 2026-01-20 13:57:19 +09:00
Meta/Dothem: no need to retest if only documentation changed
This commit is contained in:
parent
b06305f5a4
commit
9340d1ffa7
12
Dothem
12
Dothem
@ -148,6 +148,10 @@ do
|
||||
then
|
||||
skip_test=1
|
||||
skip_doc=1
|
||||
elif git diff --quiet "$vtree" "$rtree" -- . \
|
||||
':!GIT-VERSION-GEN' ':!Documentation/'
|
||||
then
|
||||
skip_test=1
|
||||
fi
|
||||
dvtree=$(git rev-parse --verify "$version:Documentation/")
|
||||
drtree=$(git rev-parse --verify "$revision:Documentation/")
|
||||
@ -155,14 +159,6 @@ do
|
||||
then
|
||||
skip_doc=1
|
||||
fi
|
||||
case "$branch, $branches " in
|
||||
jch,*' next '*)
|
||||
if git diff --quiet --exit-code jch next
|
||||
then
|
||||
skip_test=1
|
||||
fi
|
||||
;;
|
||||
esac
|
||||
;;
|
||||
esac
|
||||
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user