.gitlab-ci: use Coverity Scan to analyze the manager as well

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f86908d72f3be0d17322bc7e77f5372dd340fb89..671d6023f2beb9e4a8fb79d09f1ee4de5d6b12c6 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -279,7 +279,10 @@ lint:coverity:
       - coverity@knot/knot-resolver
   script:
     - meson build_ci_cov --prefix=$PREFIX
-    - /opt/cov-analysis/bin/cov-build --dir cov-int ninja -C build_ci_cov
+    - /opt/cov-analysis/bin/cov-build
+      --dir cov-int
+      --fs-capture-search ./manager
+      ninja -C build_ci_cov
     - tar cfz cov-int.tar.gz cov-int
     - curl https://scan.coverity.com/builds?project=$COVERITY_SCAN_PROJECT_NAME
       --form token=$COVERITY_SCAN_TOKEN --form email="knot-resolver@labs.nic.cz"