4 Commits

Author	SHA1	Message	Date
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
Zach	5241c3c7c1	go one.eleven.four (#3169)	2018-12-19 11:41:59 -08:00
Zach	26fc5163e3	Update go version in docs (#3123)	2018-12-18 12:48:30 -08:00
Zach	f7e22cb4d3	Merge PR #2828: Reorganize install scripts & add ARM	2018-11-28 17:52:07 +01:00