Merge "git diff check updated to watch for md changes"
This commit is contained in:
commit
918291f932
@ -23,6 +23,13 @@ then
|
||||
exit 1
|
||||
fi
|
||||
|
||||
git diff-files --quiet --ignore-submodules **/*.md
|
||||
if [ $? -ne 0 ]
|
||||
then
|
||||
echo "git diff found modified cli help, please run make cli-docs"
|
||||
exit 1
|
||||
fi
|
||||
|
||||
# Evaluate git index for differences, if found print message and fail.
|
||||
git diff-index --cached --quiet --ignore-submodules HEAD -- **/*.golden
|
||||
if [ $? -ne 0 ]
|
||||
@ -31,4 +38,11 @@ then
|
||||
exit 1
|
||||
fi
|
||||
|
||||
git diff-index --cached --quiet --ignore-submodules HEAD -- **/*.md
|
||||
if [ $? -ne 0 ]
|
||||
then
|
||||
echo "git diff found modified cli help, please run make cli-docs"
|
||||
exit 1
|
||||
fi
|
||||
|
||||
echo "no git diff detected, make target completed successfully"
|
Loading…
Reference in New Issue
Block a user