fetchgit: remove only .git
Source of this change goes back to 2009 and original version of fetchgit at 205fb0c87eab5dd53c6a0e97b1ff0e48f141c902. The nondeterminism is really caused by changing .git so leave other files alone as they might be interesting. Note: this causes a hash mismatch with Hydra's version of Git Plugin which we should fix to comply.
This commit is contained in:
parent
25e3c091a0
commit
64a072e357
@ -286,7 +286,7 @@ _clone_user_rev() {
|
|||||||
eval "$NIX_PREFETCH_GIT_CHECKOUT_HOOK"
|
eval "$NIX_PREFETCH_GIT_CHECKOUT_HOOK"
|
||||||
if test -z "$leaveDotGit"; then
|
if test -z "$leaveDotGit"; then
|
||||||
echo "removing \`.git'..." >&2
|
echo "removing \`.git'..." >&2
|
||||||
find "$dir" -name .git\* -print0 | xargs -0 rm -rf
|
find "$dir" -name .git -print0 | xargs -0 rm -rf
|
||||||
else
|
else
|
||||||
find "$dir" -name .git | while read gitdir; do
|
find "$dir" -name .git | while read gitdir; do
|
||||||
make_deterministic_repo "$(readlink -f "$gitdir/..")"
|
make_deterministic_repo "$(readlink -f "$gitdir/..")"
|
||||||
|
Loading…
x
Reference in New Issue
Block a user