commit 8c1ca1bb87b4ac69ffbabe0cbd145292b5cf6487
author Harald Welte <laforge@osmocom.org> Tue Dec 17 13:26:42 2019 +0100
committer Harald Welte <laforge@osmocom.org> Tue Dec 17 13:31:20 2019 +0100
tree 276f512809dc9154088becc02fff96acc37fa962
parent fd5dafc2a2d15bcc3643369b81a1c1c3c7689965

jenkins.sh: don't verify (possibly outdated) deps

When we call a script for verification of our source code, let'sn
not check the (old, previous) code from the ./deps directory, too.

We should either only verify our own code (solution implemented here)
or alternatively verify only after we updated all dependencies to the
latest stage.

Change-Id: I20e6a3b7b4109b99c91a4921285cacb168c5796b

contrib/jenkins.sh

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index c36626e..347ea9b 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -17,7 +17,7 @@
 
 mkdir "$deps" || true
 
-verify_value_string_arrays_are_terminated.py $(find . -name "*.[hc]")
+verify_value_string_arrays_are_terminated.py $(find . -name "*.[hc]" -not -path "./deps/*")
 
 export PKG_CONFIG_PATH="$inst/lib/pkgconfig:$PKG_CONFIG_PATH"
 export LD_LIBRARY_PATH="$inst/lib"