diff options
| author | Georges Dubus <georges.dubus@compiletoi.net> | 2014-08-10 16:25:29 +0200 |
|---|---|---|
| committer | Georges Dubus <georges.dubus@compiletoi.net> | 2014-08-10 16:25:29 +0200 |
| commit | ca0b0a68e8364f7ac73c9897661a7e430cbd7f60 (patch) | |
| tree | 3323575d1a54a00d26d374d7452985ea18e59a03 /pkgs/build-support/fetchgit/nix-prefetch-git | |
| parent | 05e81e0d9fdb0d99ae832906a99b79c2bedc6a5b (diff) | |
Fixed deterministicness of fetchgit with leaveDotGit
The shebang of .git/hooks depended the git's bash, which made the result
depend of that bash's path.
Diffstat (limited to 'pkgs/build-support/fetchgit/nix-prefetch-git')
| -rwxr-xr-x | pkgs/build-support/fetchgit/nix-prefetch-git | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/build-support/fetchgit/nix-prefetch-git b/pkgs/build-support/fetchgit/nix-prefetch-git index 4ddf8a4cb9f3..fcb012627834 100755 --- a/pkgs/build-support/fetchgit/nix-prefetch-git +++ b/pkgs/build-support/fetchgit/nix-prefetch-git @@ -227,8 +227,9 @@ clone_user_rev() { echo "removing \`.git'..." >&2 find $dir -name .git\* | xargs rm -rf else - # The logs and index contain timestamps - find $dir -name .git | xargs -I {} rm -rf {}/logs {}/index + # The logs and index contain timestamps, and the hooks contain + # the nix path of git's bash + find $dir -name .git | xargs -I {} rm -rf {}/logs {}/index {}/hooks fi } |