fetch/git: clone the repository as bare
This will reduce the space used and speed up the clone as it is only used to generate an archive, which doesn't need the git working tree. Signed-off-by: Jean-Christophe PLAGNIOL-VILLARD <plagnioj@jcrosoft.com> Acked-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com> Tested-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com> Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
This commit is contained in:
parent
b922f6404d
commit
f7abec2d1d
@ -105,7 +105,7 @@ endif
|
||||
define DOWNLOAD_GIT
|
||||
test -e $(DL_DIR)/$($(PKG)_SOURCE) || \
|
||||
(pushd $(DL_DIR) > /dev/null && \
|
||||
$(GIT) clone $($(PKG)_SITE) $($(PKG)_BASE_NAME) && \
|
||||
$(GIT) clone --bare $($(PKG)_SITE) $($(PKG)_BASE_NAME) && \
|
||||
pushd $($(PKG)_BASE_NAME) > /dev/null && \
|
||||
$(GIT) archive --format=tar --prefix=$($(PKG)_BASE_NAME)/ $($(PKG)_DL_VERSION) | \
|
||||
gzip -c > $(DL_DIR)/$($(PKG)_SOURCE) && \
|
||||
|
Loading…
Reference in New Issue
Block a user