0c0bff7ea0
- Rename get_dev_tools to devtools - tools and devtools now create a stamp after execution so that they are not executed twice on the same pipeline - Add clean target to remove stamps |
||
---|---|---|
.. | ||
install_sdk_arm.sh | ||
install_sdk_bsd.sh | ||
install_sdk_ubuntu.sh |