Undo incorrect change. Re #3866.

132ddc01 · Russell Taylor · 7822a0a6 · 132ddc01
Commit 132ddc01 authored 13 years ago by Russell Taylor
--- a/.githooks/pre-commit
+++ b/.githooks/pre-commit
@@ -20,7 +20,7 @@ die() {
 	echo '-----------------------' 1>&2
 	echo '' 1>&2
 	echo "$@" 1>&2
-	return
+	exit 1
 }

 zero='0000000000000000000000000000000000000000'