log scripts/build_project.sh @ 376:9d2ed561aac5 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