From: Peter van Dijk <peter.van.dijk@powerdns.com>
Date: Wed, 11 Sep 2019 12:12:35 +0000 (+0200)
Subject: circleci coverity: actually do git checkout
X-Git-Tag: dnsdist-1.4.0-rc3~56^2
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=refs%2Fpull%2F8292%2Fhead;p=thirdparty%2Fpdns.git

circleci coverity: actually do git checkout
---

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 4e952465ef..9073580cf7 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -993,7 +993,7 @@ jobs:
     steps:
       - install-auth-dev-deps
       - install-coverity-tools
-      - get-workspace
+      - checkout-shallow
       - run:
           name: autoconf
           command: BUILDER_VERSION=0.0.0-git1 autoreconf -vfi
@@ -1063,7 +1063,7 @@ jobs:
             ragel \
             virtualenv
       - install-coverity-tools
-      - get-workspace
+      - checkout-shallow
       - run:
           name: autoconf
           command: BUILDER_VERSION=0.0.0-git1 autoreconf -vfi
@@ -1135,7 +1135,7 @@ jobs:
             ragel \
             virtualenv
       - install-coverity-tools
-      - get-workspace
+      - checkout-shallow
       - run:
           name: autoconf
           command: BUILDER_VERSION=0.0.0-git1 autoreconf -vfi