diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2019-07-22 09:04:15 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-22 16:09:15 +0100 |
commit | f6f6419eca67882b47632875d2ee7163f4d005c7 (patch) | |
tree | f617e90d2c76b554e7445c7f8f722f465afb3bee | |
parent | 25575e4691087b6986fcb38973945762401c4b4b (diff) |
git-debpush: check_treesame: Show diffstat when there is a diff
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
-rwxr-xr-x | git-debpush | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/git-debpush b/git-debpush index 3153751..bd0357b 100755 --- a/git-debpush +++ b/git-debpush @@ -109,6 +109,11 @@ check_treesame () { git_diff_rc=$? set -e + # show the user what the difference was + if [ $git_diff_rc = 1 ]; then + git diff --compact-summary "$first".."$second" -- . "$@" + fi + if [ $git_diff_rc -le 1 ]; then return $git_diff_rc else |