diff --git a/pkgs/build-support/fetchgit/builder.sh b/pkgs/build-support/fetchgit/builder.sh index 558e946d76cf..e27a47e903bd 100644 --- a/pkgs/build-support/fetchgit/builder.sh +++ b/pkgs/build-support/fetchgit/builder.sh @@ -8,7 +8,7 @@ header "exporting $url (rev $rev) into $out" git init $out cd $out git remote add origin "$url" -git fetch origin +git fetch --progress origin git remote set-head origin -a || ( test -n $rev && echo "that's ok, we want $rev" || exit 1)