From: Peter Mikus Date: Tue, 13 May 2025 12:27:09 +0000 (+0200) Subject: fix(bootstrap): VPP clone X-Git-Url: https://gerrit.fd.io/r/gitweb?a=commitdiff_plain;h=773f03bd05282f7e8b1de56f5e8bf7f6b865dc8f;p=csit.git fix(bootstrap): VPP clone Signed-off-by: Peter Mikus Change-Id: Ia0a30005035cd26919c838f0fa20c852b940fdab --- diff --git a/resources/libraries/bash/function/per_patch.sh b/resources/libraries/bash/function/per_patch.sh index 44d73c5eb9..745cf33b69 100644 --- a/resources/libraries/bash/function/per_patch.sh +++ b/resources/libraries/bash/function/per_patch.sh @@ -76,18 +76,19 @@ function clone_vpp_repo () { set -exuo pipefail - pushd "${CSIT_DIR}/" || die "Pushd failed." + pushd "${CSIT_DIR}/" || die "Pushd failed!" git clone "${GIT_URL}/vpp" --depth=1 --no-single-branch --no-checkout || \ - die "Failed to clone VPP repository." - pushd "${CSIT_DIR}/vpp" || die "Pushd failed." + die "Failed to clone VPP repository!" + pushd "${CSIT_DIR}/vpp" || die "Pushd failed!" if [[ -n "${VPP_VERSION-}" ]]; then git fetch "${GIT_URL}/vpp" "${VPP_VERSION}" || \ - die "Failed to fetch specific commit id." - git checkout FETCH_HEAD || die "Checkout FETCH_HEAD failed." + die "Failed to fetch specific commit id!" + git checkout FETCH_HEAD || die "Checkout FETCH_HEAD failed!" else - git checkout HEAD || die "Checkout HEAD failed." + git fetch --unshallow || die "Unshallow failed!" + git checkout HEAD || die "Checkout HEAD failed!" fi - popd || die "Popd failed." + popd || die "Popd failed!" }