From 13e84aec00d8edf7f962eafafc2932898bd73457 Mon Sep 17 00:00:00 2001
From: Thom Wiggers <thom@thomwiggers.nl>
Date: Fri, 5 Apr 2019 10:45:06 +0200
Subject: [PATCH] Clone submodules in CircleCI

---
 .circleci/config.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 09a6e8d2..e51c2ab3 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -4,6 +4,11 @@ version: 2
   machine: true
   steps:
     - checkout
+    - run:
+        name: Pull submodules
+        command: |
+          git submodule init
+          git submodule update
     - run:
         name: Install the emulation handlers
         command: docker run --rm --privileged multiarch/qemu-user-static:register --reset
@@ -20,6 +25,11 @@ version: 2
     - image: pqclean/ci-container:$ARCH
   steps:
     - checkout
+    - run:
+        name: Pull submodules
+        command: |
+          git submodule init
+          git submodule update
     - run:
         name: Run tests
         command: |