Exit check as soon as we have an error

1 files changed, 2 insertions, 6 deletions

diff --git a/check b/check
index 77d4e826..82774119 100755
--- a/check
+++ b/check
@@ -92,13 +92,12 @@ export PYTHONPATH
 
 # Run the style checks
 
-errors=0
 if "$run_style" && [ -d .git ];
 then
     echo "Checking copyright statements"
     if ! (git ls-files --cached -z |
           xargs -0r scripts/check-copyright-year); then
-        errors=1
+        exit 1
     fi
 
     echo 'Checking source code for silliness'
@@ -107,12 +106,9 @@ then
           grep -Ev 'tests[^/]*/.*\.std(out|err)' |
           grep -vF 'tests.build/build-system-autotools.script' |
           xargs -r scripts/check-silliness); then
-        errors=1
+        exit 1
     fi
 fi
-if [ "$errors" != 0 ]; then
-    exit "$errors"
-fi
 
 # Clean up artifacts from previous (possibly failed) runs, build,
 # and run the tests.