From 066a4e65a9810c5f1f74228a474080efec1f91e4 Mon Sep 17 00:00:00 2001 From: David Chisnall Date: Tue, 30 Jul 2019 14:37:17 +0100 Subject: [PATCH] Another go at fixing Cirrus... --- .cirrus.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.cirrus.yml b/.cirrus.yml index fd9ee1e..a868eeb 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -13,6 +13,8 @@ task: git fetch origin pull/$CIRRUS_PR/head:pull/$CIRRUS_PR git reset --hard $CIRRUS_CHANGE_IN_REPO fi + git submodule sync + git submodule update script: | mkdir Build