mirror of https://github.com/probonopd/MiniDexed
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
14 lines
307 B
14 lines
307 B
2 years ago
|
#!/bin/bash
|
||
|
|
set -ex
|
||
|
|
git submodule update --init --recursive
|
||
|
|
cd circle-stdlib/
|
||
|
|
git checkout e318f89 # Needed to support Circle develop?
|
||
|
|
cd -
|
||
|
|
cd circle-stdlib/libs/circle
|
||
|
|
git checkout ec09d7e # develop
|
||
|
|
cd -
|
||
|
|
cd circle-stdlib/libs/circle-newlib
|
||
|
|
git checkout 48bf91d # needed for circle ec09d7e
|
||
|
|
cd -
|
||
|
|
|