log scripts/halt_board.sh @ 477:5934790c7c15 prerelease

age author description
2016-06-20 Giulio Moro Path-relativeness of scripts has been improved. At least update_board will work when double clicked prerelease
2016-06-16 Giulio Moro Scripts use sh instead of bash. Some fixes in run_project and build_project prerelease