15 Commits

Author	SHA1	Message	Date
MaBecker	38c84039a6	ESP8266: switch to SDK 2.2.1 (fix #1207)	2018-10-16 21:10:46 +02:00
wilberforce	98a358752a	ESP32: update sdk to esp-idf 3.0.1, set Espruino build tools back to master branch	2018-06-26 21:15:12 +12:00
wilberforce	761d8cebee	intial esp-idf 3.0 build	2018-04-30 21:44:19 +12:00
Standa Opichal	21f1025706	Mute dpkg-preconfigure: unable to re-open stdin	2018-01-21 15:53:19 +01:00
Standa Opichal	6942acee56	Mute the 'Cannot change owner' tar warnings	2018-01-21 15:53:19 +01:00
Standa Opichal	ef5678de9c	Updated *provision.sh scripts to get a valid VM	2018-01-21 15:53:19 +01:00
Thomas Christlieb	dd122b697d	Fix Error in provision script	2017-10-09 07:42:43 +02:00
Thomas Christlieb	a161230029	Added Provision-Script for Arduino Due	2017-10-09 07:42:43 +02:00
Gordon Williams	d12f41814b	slight build tweaks	2017-08-21 10:35:55 +01:00
Gordon Williams	10f1b0861f	renaming of provision files - make it obvious that vagrant's provision.sh is just that	2017-03-09 10:30:35 +00:00
Gordon Williams	7579ce02ef	tidying up	2016-11-14 09:15:38 +00:00
Chester	9c31252aea	Update vagrant and makefile	2016-11-13 12:56:03 -10:00
Alexander Brevig	88eb8c84ab	make vagrant up pull arm-none-eabi-gcc v4.8.4 and set it to PATH	2015-12-01 16:00:04 +01:00
Gordon Williams	e566296b9a	Update provision.sh ... Install stuff automatically, Fix #519	2015-04-17 08:45:24 +01:00
Christopher Hiller	a0ec84800e	add vagrant setup + documentation	2015-03-01 22:20:54 -08:00