log scripts/build_project.sh @ 374:ecad1ea0382a prerelease

age author description
Thu, 09 Jun 2016 17:28:01 +0100 Giulio Moro Now possible to pass options to the Makefile from build_project.sh prerelease