diff options
| author | Junio C Hamano <junkio@cox.net> | 2005-11-30 22:09:33 +0300 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-11-30 22:09:33 +0300 |
| commit | 9cac9d368934f68e75810df95211a6522d4d139e (patch) | |
| tree | 6587296cef3998501dd38886d20e80cfd84342ff /git-diff.sh | |
| parent | 5401f3040b61e11da79d676e42aacfa9f1131083 (diff) | |
| parent | 99e01692063cc48adee19e1f738472a579c14ca2 (diff) | |
Merge branch 'jc/subdir'
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 |