define die() for scripts that use it.

diff --git a/git-diff.sh b/git-diff.sh
index b3ec84be698311b30e8c7c793873e6caa41daf71..e45f50ec224d2b0ee23780a00dd351746665a9a2 100755 (executable)
--- 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