Revision 370:137a87b745d2

ID137a87b745d2e8a6d2b63b134018153d55da7b36
Parent 369:75689b7cd57b
Child 371:361d0c2335cf

Added by Giulio Moro over 9 years ago

Now possible to pass options to the Makefile from build_project.sh

Downloads

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences