From: Andrew Yourtchenko <ayourtch@gmail.com>
Date: Wed, 13 Mar 2024 13:46:34 +0000 (+0000)
Subject: fix: add building static vppctl as part of the CI for VPP
X-Git-Url: https://gerrit.fd.io/r/gitweb?a=commitdiff_plain;h=refs%2Fchanges%2F93%2F34493%2F4;p=ci-management.git

fix: add building static vppctl as part of the CI for VPP

Change-Id: I8b225b4677deb525ed1702d0c377ef58808a0881
Signed-off-by: Andrew Yourtchenko <ayourtch@gmail.com>
---

diff --git a/jjb/scripts/vpp/build.sh b/jjb/scripts/vpp/build.sh
index 388d05c5d..94aa13673 100644
--- a/jjb/scripts/vpp/build.sh
+++ b/jjb/scripts/vpp/build.sh
@@ -60,6 +60,11 @@ make_build_test() {
         BUILD_ERROR="FAILED 'make install-ext-deps'"
         return
     fi
+    if [ -f extras/scripts/build_static_vppctl.sh ]; then
+	if ! extras/scripts/build_static_vppctl.sh ; then
+        BUILD_ERROR="FAILED 'extras/scripts/build_static_vppctl.sh'"
+	return
+    fi
     if ! make UNATTENDED=yes test-dep ; then
         BUILD_ERROR="FAILED 'make test-dep'"
         return