Alessio Treglia 0c0bff7ea0 Fix Makefile's all target (#3085) ... - 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		2018-12-20 10:03:59 -08:00
..
install_sdk_arm.sh	Fix Makefile's all target (#3085)	2018-12-20 10:03:59 -08:00
install_sdk_bsd.sh	Fix Makefile's all target (#3085)	2018-12-20 10:03:59 -08:00
install_sdk_ubuntu.sh	Fix Makefile's all target (#3085)	2018-12-20 10:03:59 -08:00