diff options
| author |   Andrew Yourtchenko <ayourtch@gmail.com> | 2021-02-23 11:46:31 +0000 |
|---|---|---|
| committer | Andrew Yourtchenko <ayourtch@gmail.com> | 2021-02-23 11:47:46 +0000 |
| commit | b9af764835c8d48d042c4dc331bb5e51e989f215 (patch) | |
| tree | d0ee0872c6924abb13a4c12bd31b1753d4db14ff /jjb/scripts/vpp | |
| parent | 85da45998982bac4cbda81911b81f78d73927dc1 (diff) | |
vpp: print "git diff" before running API checkstyle
API checkstyle is unhappy if the repo is not clean.
An example:
https://jenkins.fd.io/job/vpp-checkstyle-verify-master-ubuntu2004-x86_64/598/console
Output the changes to make diagnostics easier.
Change-Id: I3fe1dfd0adde47e2140151687a6ab31885fc851c
Signed-off-by: Andrew Yourtchenko <ayourtch@gmail.com>
Diffstat (limited to 'jjb/scripts/vpp')
| -rw-r--r-- | jjb/scripts/vpp/api-checkstyle.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/jjb/scripts/vpp/api-checkstyle.sh b/jjb/scripts/vpp/api-checkstyle.sh index 38017fea1..c79884fa4 100644 --- a/jjb/scripts/vpp/api-checkstyle.sh +++ b/jjb/scripts/vpp/api-checkstyle.sh @@ -26,6 +26,9 @@ send_notify() { } if [ -f $VPP_CRC_CHECKER ]; then + # API checker complains if the git repo is not clean. + # Help diagnosing those issues easier + git --no-pager diff echo "Running $VPP_CRC_CHECKER_CMD" if $VPP_CRC_CHECKER_CMD; then echo "API check successful" |