diff options
Diffstat (limited to 'git-diff.sh')
| -rwxr-xr-x | git-diff.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/git-diff.sh b/git-diff.sh index 7baf7044e4..b62e58341c 100755 --- a/git-diff.sh +++ b/git-diff.sh @@ -7,6 +7,11 @@ rev=$(git-rev-parse --revs-only --no-flags --sq "$@") || exit flags=$(git-rev-parse --no-revs --flags --sq "$@") files=$(git-rev-parse --no-revs --no-flags --sq "$@") +die () { + echo >&2 "$*" + exit 1 +} + # I often say 'git diff --cached -p' and get scolded by git-diff-files, but # obviously I mean 'git diff --cached -p HEAD' in that case. case "$rev" in |