From dde69ebbca3ab9b2ce9fca424d09b420723f0ae7 Mon Sep 17 00:00:00 2001
From: Emmanuel Leblond <emmanuel.leblond@gmail.com>
Date: Tue, 1 May 2018 12:52:02 +0200
Subject: [PATCH] Update git pre-push hook

---
 misc/git-pre-push.hook | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/misc/git-pre-push.hook b/misc/git-pre-push.hook
index ed5f9f6e..486e20e5 100755
--- a/misc/git-pre-push.hook
+++ b/misc/git-pre-push.hook
@@ -1,5 +1,5 @@
 #! /bin/sh
 
 echo 'pre-push: checking style...'
-2>&1 1>/dev/null scons checkstyle | grep 'reformatted'
+2>&1 1>/dev/null scons checkstyle | grep 'reformat'
 exit $(( ! $? ))