diff options
| author |   Ed Warnicke <eaw@cisco.com> | 2016-11-29 11:58:21 -0600 |
|---|---|---|
| committer | Ed Warnicke <eaw@cisco.com> | 2016-11-29 11:58:21 -0600 |
| commit | 36ca41f672b1f79cae2d9d2c199f5edc32f84e31 (patch) | |
| tree | f5e75c47107151b72f538ec23f70a88d24e15227 /jjb/vpp/include-raw-vpp-build.sh | |
| parent | 0860f84c309b627ceba0e7a696cb59c627cdfb58 (diff) | |
Migrate vpp-verify-* to using make verify
Also retires vpp-clang-* and vpp-lite-verify-*
as they are now covered by make verify.
Change-Id: I19967cd82b67029a7396bdba6907aa3d4d7da865
Signed-off-by: Ed Warnicke <eaw@cisco.com>
Diffstat (limited to 'jjb/vpp/include-raw-vpp-build.sh')
| -rw-r--r-- | jjb/vpp/include-raw-vpp-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jjb/vpp/include-raw-vpp-build.sh b/jjb/vpp/include-raw-vpp-build.sh index a838f576b..b5c6d77a4 100644 --- a/jjb/vpp/include-raw-vpp-build.sh +++ b/jjb/vpp/include-raw-vpp-build.sh @@ -46,7 +46,7 @@ if [ "x${VPP_REPO}" == "x1" ]; then fi fi echo "CC=${CC}" -build-root/vagrant/build.sh +make verify echo "*******************************************************************" echo "* VPP BUILD SUCCESSFULLY COMPLETED" |