diff options
author | robert-hh <robert@hammelrath.com> | 2022-08-05 16:49:15 +0200 |
---|---|---|
committer | Damien George <damien@micropython.org> | 2022-08-23 15:00:00 +1000 |
commit | f6ec01d1da8d316e1cdfeaf20cdc0578f943e154 (patch) | |
tree | 7e0e3afa5552d6606eb2e01d41a3de08f344b70f /drivers/wiznet5k/internet/dns/dns.c | |
parent | 54eaa8c8a6c854e13f3c1b646ef44d0888628353 (diff) | |
download | micropython-f6ec01d1da8d316e1cdfeaf20cdc0578f943e154.tar.gz micropython-f6ec01d1da8d316e1cdfeaf20cdc0578f943e154.zip |
tools/ci.sh: Split the stm32 builds for wiznet5k and cc3k.
- Add lib/wiznet5k into the 'make submodules' step.
- Split the stm32 builds for wiznet5k and cc3k.
- Run 'make .... clean' after making the wiznet5k build.
Diffstat (limited to 'drivers/wiznet5k/internet/dns/dns.c')
0 files changed, 0 insertions, 0 deletions