diff options
author | tv <tv@shackspace.de> | 2015-06-28 15:09:01 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-06-28 15:09:01 +0200 |
commit | a841d3fcbfb0073368fb2458bc5d0a4bfa5c48af (patch) | |
tree | 5acaf9343ad95d0e909a675f54bbf1019f76166c /bin/fetchgit | |
parent | 2e6221e095c0086674248526bae3e1ad03efc064 (diff) |
fetchgit: be more verbose
Diffstat (limited to 'bin/fetchgit')
-rwxr-xr-x | bin/fetchgit | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/fetchgit b/bin/fetchgit index ba5b40b6a..5c230ae9f 100755 --- a/bin/fetchgit +++ b/bin/fetchgit @@ -20,6 +20,7 @@ dirty=$(nixos-query nixpkgs.dirty) case $dirty in true) ln -snf "$git_url" "$out_link" + echo "fetchgit: using $git_url as it is" >&2 exit esac @@ -83,3 +84,5 @@ if test "$(dirname "$work_dir")" = "$(dirname "$out_link")"; then else ln -snf "$work_dir" "$out_link" fi + +echo "fetchgit: using $git_url $(work_git log --oneline -n1)" >&2 |