fix jjb/scripts/vpp/build.sh 36/40536/1
authorDave Wallace <dwallacelf@gmail.com>
Wed, 13 Mar 2024 16:58:27 +0000 (12:58 -0400)
committerDave Wallace <dwallacelf@gmail.com>
Wed, 13 Mar 2024 16:58:27 +0000 (12:58 -0400)
Change-Id: I35843842a995931c1985971a606f1d085fd5aa4f
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
jjb/scripts/vpp/build.sh

index 94aa136..850d610 100644 (file)
@@ -61,9 +61,10 @@ make_build_test() {
         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
+        if ! extras/scripts/build_static_vppctl.sh ; then
+            BUILD_ERROR="FAILED 'extras/scripts/build_static_vppctl.sh'"
+            return
+        fi
     fi
     if ! make UNATTENDED=yes test-dep ; then
         BUILD_ERROR="FAILED 'make test-dep'"