diff options
author | Florian Friesdorf <flo@chaoflow.net> | 2011-06-22 21:01:36 +0000 |
---|---|---|
committer | Florian Friesdorf <flo@chaoflow.net> | 2011-06-22 21:01:36 +0000 |
commit | c8f12bd8be0fa2682ac013f8d22698f2ae68d3fb (patch) | |
tree | 0d124e6698a30261fa8fb2693bb9745daf079ecb /pkgs/build-support/fetchgit | |
parent | e50e84daa12b6aad429e3dcb0bde90ac6b53b1d7 (diff) |
fetchgit builder comment: can handle remotes without HEAD
thx civodul for bringing it up and testing svn path=/nixpkgs/trunk/; revision=27523
Diffstat (limited to 'pkgs/build-support/fetchgit')
-rw-r--r-- | pkgs/build-support/fetchgit/builder.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/build-support/fetchgit/builder.sh b/pkgs/build-support/fetchgit/builder.sh index e27a47e903bd6..8d4e17f4a0e29 100644 --- a/pkgs/build-support/fetchgit/builder.sh +++ b/pkgs/build-support/fetchgit/builder.sh @@ -1,6 +1,7 @@ # tested so far with: # - no revision specified and remote has a HEAD which is used # - revision specified and remote has a HEAD +# - revision specified and remote without HEAD source $stdenv/setup header "exporting $url (rev $rev) into $out" |