Tiny change.
So the autobuilder runs these checks, too.
diff --git a/autobuild.sh b/autobuild.sh
index 623b33a..9e0c2ca 100755
--- a/autobuild.sh
+++ b/autobuild.sh
@@ -23,6 +23,7 @@ make install
set -o pipefail
make check 2>&1 | tee $RESULTS
+make syntax-check 2>&1 | tee -a $RESULTS
make cov
rm -f *.tar.gz