+
+ # If the version starts with "refs/", checkout the specific git ref, otherwise treat it
+ # as a branch name.
+ if [ "${mversion:0:5}" = "refs/" ]; then
+ git clone --no-tags --depth=1 "${mgitrepo}" "$MODULES_GIT_DIR"
+ (cd "$MODULES_GIT_DIR" && git fetch origin "${mversion}" && git checkout FETCH_HEAD)
+ else
+ git clone --no-tags --depth=1 -b "${mversion}" "${mgitrepo}" "$MODULES_GIT_DIR"
+ fi