Merge pull request #3518 from madjar/master

Fixed deterministicness of fetchgit with leaveDotGit
This commit is contained in:
Domen Kožar 2014-08-10 17:05:01 +02:00
commit ac00b1fe85
2 changed files with 4 additions and 3 deletions

View File

@ -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
}

View File

@ -7,7 +7,7 @@ pythonPackages.buildPythonPackage rec {
src = fetchgit {
url = "git://github.com/madjar/nox.git";
rev = "49e4bb7de473ac5e446a76c292bdaefa7e20a1c6";
sha256 = "0z97anjhvf8qlyq73h3008np7qh1jvv3kafyxhcbjmi1hpimndyy";
sha256 = "1w1b2g44lj6nbs7f2j5dz5pijhfah3fyldspfb34zcv17j2nlv0b";
leaveDotGit = true; # required by pbr
};