| Thu, 23 Jun 2016 18:15:26 +0100 |
Giulio Moro |
stricthostchecking is added to each check_board_alive
API-update
|
| Wed, 22 Jun 2016 15:21:58 +0100 |
Giulio Moro |
reverted to bash, better handling of non existing IDE folder during update_board
prerelease
|
| Wed, 22 Jun 2016 12:40:28 +0100 |
Giulio Moro |
update_board checks for board active at the beginning. ANY key is good for exiting
prerelease
|
| Wed, 22 Jun 2016 01:28:25 +0100 |
Giulio Moro |
update_board again
prerelease
|
| Wed, 22 Jun 2016 01:24:55 +0100 |
Giulio Moro |
update_board
prerelease
|
| Tue, 21 Jun 2016 17:24:20 +0100 |
Giulio Moro |
update_board does not coreclean if --no-frills
prerelease
|
| Tue, 21 Jun 2016 15:16:55 +0100 |
Giulio Moro |
update_board can skip updating the IDE
prerelease
|
| Mon, 20 Jun 2016 21:28:34 +0100 |
Giulio Moro |
update_board forwards flags to update_IDE, IDE gets restarted only once
prerelease
|
| Mon, 20 Jun 2016 17:32:05 +0100 |
Liam Donovan |
remove reference to examples/core/link_core.sh from update_board
prerelease
|
| Mon, 20 Jun 2016 13:49:48 +0100 |
Giulio Moro |
update_board made path-independent (for what is possible ... )
prerelease
|
| Mon, 20 Jun 2016 01:10:16 +0100 |
Giulio Moro |
using relative links in examples/core
prerelease
|
| Sun, 19 Jun 2016 23:31:25 +0100 |
Giulio Moro |
merge
prerelease
|
| Sun, 19 Jun 2016 23:20:34 +0100 |
Giulio Moro |
--no-frills for udpate_board
prerelease
|
| Sun, 19 Jun 2016 22:36:38 +0100 |
Giulio Moro |
Minor edits to Makefile
prerelease
|
| Sun, 19 Jun 2016 21:27:37 +0100 |
Giulio Moro |
update_board : no-frills option, no-documentation option
prerelease
|
