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
Adrian Brink	df7cd9e670	Finally working	2018-01-27 17:40:11 -08:00
Adrian Brink	88171a8ab2	Vagrantfile	2018-01-18 18:08:08 -05:00
Ethan Frey	8618e287e5	Add vagrantfile so i can build dist on osx (docker)	2017-06-29 14:44:34 +02:00