log scripts/build_project.sh @ 325:a9905703219d prerelease

age author description
Thu, 02 Jun 2016 02:15:40 +0100 Giulio Moro Using make commands within build_project.sh instead of explicit command lines prerelease