coverity: Fix paths from extracted tarball

It seems that in the 2019-03 version of the coverity tools, the number
of leading dirs in the tarball changed.

diff --git a/.circleci/config.yml b/.circleci/config.yml
index b2ff9ba8355035adb35902d84c6ee3b405cbe5d6..1f6306d37993a2ea98f273a7ce24a5890907b617 100644 (file)
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -31,7 +31,7 @@ commands:
     steps:
       - run:
           name: Install Coverity tools
-          command: curl -s https://scan.coverity.com/download/linux64 --data "token=${COVERITY_TOKEN}&project=${COVERITY_PROJECT}" |  gunzip | tar xvf /dev/stdin --strip-components=2 --no-same-owner -C /usr/local
+          command: curl -s https://scan.coverity.com/download/linux64 --data "token=${COVERITY_TOKEN}&project=${COVERITY_PROJECT}" |  gunzip | tar xvf /dev/stdin --strip-components=1 --no-same-owner -C /usr/local
 
   add-docs-upload-ssh:
     description: Add ssh known_hosts fingerprints