log scripts/update_board @ 517:4656f886175e prerelease

age author description
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
2016-06-20 Giulio Moro update_board forwards flags to update_IDE, IDE gets restarted only once prerelease
2016-06-20 Liam Donovan remove reference to examples/core/link_core.sh from update_board prerelease