From 426c160fee841b66caddf8a52f2d37492ccc9e77 Mon Sep 17 00:00:00 2001 From: steveri Date: Thu, 14 Sep 2023 11:28:03 -0700 Subject: [PATCH] explanatory comments --- .buildkite/bin/custom-checkout.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.buildkite/bin/custom-checkout.sh b/.buildkite/bin/custom-checkout.sh index 0d6971f9..faa9b4c2 100755 --- a/.buildkite/bin/custom-checkout.sh +++ b/.buildkite/bin/custom-checkout.sh @@ -17,6 +17,7 @@ echo I am in dir `pwd` # Checkout master or BUILDKITE_COMMIT cd $BUILDKITE_BUILD_CHECKOUT_PATH +# REQUEST_TYPE comes from set-trigfrom-and-reqtype.sh if [ "$REQUEST_TYPE" == "SUBMOD_PR" ]; then echo "Pull request from a submod repo: check out aha master branch" git fetch -v --prune -- origin master @@ -41,6 +42,7 @@ set +x # Update submod +# Note PR_REPO_TAIL comes from set-trigfrom-and-reqtype.sh if [ "$REQUEST_TYPE" == "SUBMOD_PR" ]; then echo "--- Update submodule '$PR_REPO_TAIL' w commit '$BUILDKITE_COMMIT'" (set -x; cd $PR_REPO_TAIL; git fetch origin && git checkout $BUILDKITE_COMMIT)