Update git pre-push hook

touilleMan · May 1, 2018 · dde69eb · dde69eb
1 parent a59de85
commit dde69eb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 $(( ! $? ))