log scripts/update_board @ 525:1ca196e35105 prerelease

age author description
Wed, 22 Jun 2016 15:21:58 +0100 Giulio Moro reverted to bash, better handling of non existing IDE folder during update_board prerelease