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

@@ -17,7 +17,7 @@ osmo-clean-workspace.sh
 
 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"