mirror of https://github.com/ARMmbed/mbed-os.git
If an example's GitHub repository contains multiple child examples, the script was incorrectly filtering out all the child examples when compiling and exporting. This patch now handles this case correctly. |
||
---|---|---|
.. | ||
examples.json | ||
examples.py | ||
examples_lib.py | ||
update.py |