diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2019-07-21 11:35:38 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-22 16:09:15 +0100 |
commit | 25575e4691087b6986fcb38973945762401c4b4b (patch) | |
tree | 265328dfc1e8a3881bef5095945841668b2c13c9 | |
parent | 8af179949e9c5c01c7202aa5efbe3c0be27310ff (diff) |
git-debpush: check_treesame: Also pass --quiet to 'git diff'
Otherwise, when using git-debpush in a terminal, the user will get a
pile of unwanted diff output each time check_treesame is called.
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
-rwxr-xr-x | git-debpush | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-debpush b/git-debpush index beb24fb..3153751 100755 --- a/git-debpush +++ b/git-debpush @@ -105,7 +105,7 @@ check_treesame () { shift 2 set +e - git diff --exit-code "$first".."$second" -- . "$@" + git diff --quiet --exit-code "$first".."$second" -- . "$@" git_diff_rc=$? set -e |