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 $(( ! $? ))