tree 276f512809dc9154088becc02fff96acc37fa962
parent fd5dafc2a2d15bcc3643369b81a1c1c3c7689965
author Harald Welte <laforge@osmocom.org> 1576585602 +0100
committer Harald Welte <laforge@osmocom.org> 1576585880 +0100

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