diff options
Diffstat (limited to 'resources/libraries/bash/entry/per_patch_device.sh')
| -rw-r--r-- | resources/libraries/bash/entry/per_patch_device.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/resources/libraries/bash/entry/per_patch_device.sh b/resources/libraries/bash/entry/per_patch_device.sh index 6624047862..65577c2909 100644 --- a/resources/libraries/bash/entry/per_patch_device.sh +++ b/resources/libraries/bash/entry/per_patch_device.sh @@ -37,6 +37,7 @@ source "${BASH_FUNCTION_DIR}/common.sh" || { } source "${BASH_FUNCTION_DIR}/per_patch.sh" || die "Source failed." common_dirs || die +check_prerequisites || die set_perpatch_vpp_dir || die build_vpp_ubuntu_amd64 "CURRENT" || die set_aside_commit_build_artifacts || die |