From 639da53c0fafed42b8401862b108aab6369acd4f Mon Sep 17 00:00:00 2001
From: Peter van Dijk <peter.van.dijk@powerdns.com>
Date: Wed, 11 Sep 2019 14:12:35 +0200
Subject: [PATCH] circleci coverity: actually do git checkout

---
 .circleci/config.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 4e952465e..9073580cf 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
-- 
2.40.0