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-test-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-test-checkstyle.sh')
| -rw-r--r-- | jjb/vpp/include-raw-vpp-test-checkstyle.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/jjb/vpp/include-raw-vpp-test-checkstyle.sh b/jjb/vpp/include-raw-vpp-test-checkstyle.sh index fd44cb60d..6cb6fac3e 100644 --- a/jjb/vpp/include-raw-vpp-test-checkstyle.sh +++ b/jjb/vpp/include-raw-vpp-test-checkstyle.sh @@ -1,8 +1,9 @@ #!/bin/bash +# jjb/vpp/include-raw-vpp-test-checkstyle.sh -if grep '.PHONY: checkstyle' test/Makefile > /dev/null +if [ "$(grep -E '^test-checkstyle:' Makefile)" = "test-checkstyle:" ] then make test-checkstyle else - echo "Can't find checkstyle target in test/Makefile - skipping test checkstyle" + echo "Can't find test-checkstyle target in Makefile - skipping test checkstyle" fi |