diff Makefile @ 517:4656f886175e prerelease

reverted to bash, better handling of non existing IDE folder during update_board
author Giulio Moro <giuliomoro@yahoo.it>
date Wed, 22 Jun 2016 15:21:58 +0100
parents cb875406a594
children 617da76ae4d9
line wrap: on
line diff