diff options
| author |   Sven Wegener <swegener@gentoo.org> | 2017-09-17 06:29:05 +0000 |
|---|---|---|
| committer | Sven Wegener <swegener@gentoo.org> | 2017-09-18 07:58:28 +0000 |
| commit | f6f637dfe3ed937d005d348e262ba5b99c874a2b (patch) | |
| tree | a18df0b42a2549640a217425ee716051797e1875 /eclass | |
| parent | dev-util/jenkins-bin: cleanup (diff) | |
| download | gentoo-f6f637dfe3ed937d005d348e262ba5b99c874a2b.tar.gz gentoo-f6f637dfe3ed937d005d348e262ba5b99c874a2b.tar.bz2 gentoo-f6f637dfe3ed937d005d348e262ba5b99c874a2b.zip | |
git-r3.eclass: Copy packed-refs during manual clone
Signed-off-by: Sven Wegener <swegener@gentoo.org>
Diffstat (limited to 'eclass')
| -rw-r--r-- | eclass/git-r3.eclass | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/eclass/git-r3.eclass b/eclass/git-r3.eclass index 2e3983ecc8ba..c9d2731a64fe 100644 --- a/eclass/git-r3.eclass +++ b/eclass/git-r3.eclass @@ -867,6 +867,9 @@ git-r3_checkout() { echo "${orig_repo}/objects" > "${GIT_DIR}"/objects/info/alternates || die # now copy the refs cp -R "${orig_repo}"/refs/* "${GIT_DIR}"/refs/ || die + if [[ -f ${orig_repo}/packed-refs ]]; then + cp "${orig_repo}"/packed-refs "${GIT_DIR}"/packed-refs || die + fi # (no need to copy HEAD, we will set it via checkout) |