diff options
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" |