From 93f9ee61b3ea617cf16db27b95ca250c3b8036fb Mon Sep 17 00:00:00 2001
From: Olaf Bergmann <bergmann@tzi.org>
Date: Thu, 26 Jul 2018 12:35:27 +0200
Subject: [PATCH] build.sh: integrate OSS-Fuzz syntax checks in CI build

---
 scripts/build.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/scripts/build.sh b/scripts/build.sh
index 79fe6ac2..bce5801e 100755
--- a/scripts/build.sh
+++ b/scripts/build.sh
@@ -42,4 +42,10 @@ if test $err = 0 -a -n "$WITH_TESTS" ; then
     err=$?
 fi
 
+# invoke OSS-Fuzz syntax checks
+if test $err = 0 -a -n "$WITH_TESTS" ; then
+    make -C tests/oss-fuzz -f Makefile.ci check clean
+    err=$?
+fi
+
 exit $err