diff scripts/setup_board.sh @ 386:e4510c9eee94 prerelease

Makefile: prompt for distclean, cleanup
author Giulio Moro <giuliomoro@yahoo.it>
date Tue, 14 Jun 2016 13:53:08 +0100
parents a430a16d2c02
children c29f07b7350e
line wrap: on
line diff