Another go at fixing Cirrus...

main
David Chisnall 7 years ago
parent af55c29007
commit 066a4e65a9

@ -13,6 +13,8 @@ task:
git fetch origin pull/$CIRRUS_PR/head:pull/$CIRRUS_PR git fetch origin pull/$CIRRUS_PR/head:pull/$CIRRUS_PR
git reset --hard $CIRRUS_CHANGE_IN_REPO git reset --hard $CIRRUS_CHANGE_IN_REPO
fi fi
git submodule sync
git submodule update
script: | script: |
mkdir Build mkdir Build

Loading…
Cancel
Save