diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2018-08-30 11:12:19 +0200 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2018-08-30 11:12:19 +0200 |
| commit | 5f5c366f6b9a4f37a58e119dd9fa862b2554c4a3 (patch) | |
| tree | 8a522e94624bf54e8041849ca3235860fc01d084 /autopkg-common.mk | |
| parent | 1db7cfbb11e7f03fb3faa8837762797f5c3848dc (diff) | |
| download | openwrt-personal-pkgs-5f5c366f6b9a4f37a58e119dd9fa862b2554c4a3.tar.gz openwrt-personal-pkgs-5f5c366f6b9a4f37a58e119dd9fa862b2554c4a3.tar.bz2 openwrt-personal-pkgs-5f5c366f6b9a4f37a58e119dd9fa862b2554c4a3.zip | |
autopkg: try to fix pull
Diffstat (limited to 'autopkg-common.mk')
| -rw-r--r-- | autopkg-common.mk | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/autopkg-common.mk b/autopkg-common.mk index 73cff51..c539e1a 100644 --- a/autopkg-common.mk +++ b/autopkg-common.mk @@ -13,12 +13,11 @@ TMP_REPO_PATH=$(DL_DIR)/autopkg/$(PKG_NAME) GIT_ARGS=--git-dir='$(TMP_REPO_PATH)' --bare # Clone/update git history to bare repository -# TODO it is possible that this won't fetch when there is force push to repository $(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)"; \ + git $(GIT_ARGS) remote update origin; \ fi) |