log scripts/build_project.sh @ 372:db2fe4e1b88e 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