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 b3ec84be6..e45f50ec2 100755 --- a/git-diff.sh +++ b/git-diff.sh @@ -9,6 +9,11 @@ files=$(git-rev-parse --no-revs --no-flags --sq "$@") : ${flags:="'-M' '-p'"} +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 |