diff options
| author |   Vratko Polak <vrpolak@cisco.com> | 2021-02-23 15:06:45 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@fd.io> | 2021-02-23 15:06:45 +0000 |
| commit | b9b2d29a77be841909d61ad2533a1c2d552d102e (patch) | |
| tree | 7bc9536567d7d9a63fe957965fcc579a9d7a422f /jjb/scripts/vpp | |
| parent | efc9fc5576cdbf3071c149d33ee6744b83e58da5 (diff) | |
| parent | b9af764835c8d48d042c4dc331bb5e51e989f215 (diff) | |
Merge "vpp: print "git diff" before running API checkstyle"
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" |