From 773f03bd05282f7e8b1de56f5e8bf7f6b865dc8f Mon Sep 17 00:00:00 2001 From: Peter Mikus Date: Tue, 13 May 2025 14:27:09 +0200 Subject: [PATCH] fix(bootstrap): VPP clone Signed-off-by: Peter Mikus Change-Id: Ia0a30005035cd26919c838f0fa20c852b940fdab --- resources/libraries/bash/function/per_patch.sh | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) 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!" } -- 2.16.6