diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2019-11-11 11:21:28 -0500 |
|---|---|---|
| committer |   Paul Vinciguerra <pvinci@vinciconsulting.com> | 2019-11-11 16:48:26 +0000 |
| commit | a9911aa779f6e104fccb1f7b1569b4c981d4fcf5 (patch) | |
| tree | ec591fe587850d251ca2e90087e83074de62ca7c /jjb/vpp/include-raw-vpp-checkstyle.sh | |
| parent | 2a13a80682691b2cabaaa3728ddd4bdaa30d1574 (diff) | |
vpp: call 'make checkstyle' instead of checkstyle.sh
Change-Id: I65a7412fbf76ac2c52fbe123420b574127d13d83
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Diffstat (limited to 'jjb/vpp/include-raw-vpp-checkstyle.sh')
| -rw-r--r-- | jjb/vpp/include-raw-vpp-checkstyle.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/jjb/vpp/include-raw-vpp-checkstyle.sh b/jjb/vpp/include-raw-vpp-checkstyle.sh index 258c9e7e2..bc1e40871 100644 --- a/jjb/vpp/include-raw-vpp-checkstyle.sh +++ b/jjb/vpp/include-raw-vpp-checkstyle.sh @@ -1,7 +1,9 @@ #!/bin/bash +# jjb/vpp/include-raw-vpp-checkstyle.sh -if [ -f build-root/scripts/checkstyle.sh ];then - build-root/scripts/checkstyle.sh +if [ "$(grep -E '^checkstyle:' Makefile)" = "checkstyle:" ] +then + make checkstyle else - echo "Cannot find cat build-root/scripts/checkstyle.sh - skipping checkstyle" + echo "Can't find checkstyle target in Makefile - skipping checkstyle" fi |