From cdb05322f0b6d4b91d1063c0b80544787dc18bdc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Steffen=20M=C3=BCthing?= <muething@dune-project.org>
Date: Wed, 19 Jun 2013 15:18:34 +0200
Subject: [PATCH] Adjust git rev-parse to modern Git syntax

---
 bin/git-whitespace-hook | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/git-whitespace-hook b/bin/git-whitespace-hook
index 40eaa79ee..8aadf6eab 100755
--- a/bin/git-whitespace-hook
+++ b/bin/git-whitespace-hook
@@ -14,7 +14,7 @@
 # files will be matched against those regexes.
 
 # git-diff-index needs a valid commit to compare to
-if git-rev-parse --verify HEAD 2>/dev/null
+if git rev-parse --verify HEAD >/dev/null 2>&1
 then
 	against=HEAD
 else
-- 
GitLab