log scripts/update_board @ 534:e2364e1711c2 prerelease

age author description
2016-06-23 Giulio Moro update_board does not restart the IDE with --no-frills (hence the name) prerelease
2016-06-23 Giulio Moro stricthostchecking is added to each check_board_alive API-update
2016-06-22 Giulio Moro reverted to bash, better handling of non existing IDE folder during update_board prerelease
2016-06-22 Giulio Moro update_board checks for board active at the beginning. ANY key is good for exiting prerelease
2016-06-22 Giulio Moro update_board again prerelease
2016-06-22 Giulio Moro update_board prerelease
2016-06-21 Giulio Moro update_board does not coreclean if --no-frills prerelease
2016-06-21 Giulio Moro update_board can skip updating the IDE prerelease