log scripts/update_board @ 528:5c8f46fcd4d0 API-update

age author description
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