diff options
| -rw-r--r-- | jjb/scripts/vpp/build.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/jjb/scripts/vpp/build.sh b/jjb/scripts/vpp/build.sh index 94aa13673..850d61003 100644 --- a/jjb/scripts/vpp/build.sh +++ b/jjb/scripts/vpp/build.sh @@ -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'" |