Skip to content
Snippets Groups Projects
Verified Commit 62d7004c authored by Karel Koci's avatar Karel Koci :metal:
Browse files

pkgauto: use mirror instead of simply bare repository

parent 47792287
No related branches found
No related tags found
No related merge requests found
......@@ -16,9 +16,9 @@ GIT_ARGS=--git-dir='$(TMP_REPO_PATH)' --bare
$(shell \
if [ ! -d "$(TMP_REPO_PATH)" ]; then \
git clone --bare "$(PKG_SOURCE_URL)" "$(TMP_REPO_PATH)"; \
git clone --mirror "$(PKG_SOURCE_URL)" "$(TMP_REPO_PATH)"; \
else \
git $(GIT_ARGS) fetch --prune --prune-tags --force "$(PKG_SOURCE_URL)" "$(PKG_SOURCE_BRANCH):$(PKG_SOURCE_BRANCH)"; \
git $(GIT_ARGS) remote update origin
fi)
PKG_SOURCE_VERSION:=$(shell git $(GIT_ARGS) rev-parse "$(PKG_SOURCE_BRANCH)")
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment