[riot-notifications] [projects] add valgrind option to Makefile (#58)

Christian Mehlis notifications at github.com
Tue Nov 19 19:44:12 CET 2013


You can merge this Pull Request by running:

  git pull https://github.com/mehlis/projects vg-makefile

Or you can view, comment on it, or merge it online at:

  https://github.com/RIOT-OS/projects/pull/58

-- Commit Summary --

  * add valgrind option to Makefile

-- File Changes --

    M default/Makefile (3)

-- Patch Links --

https://github.com/RIOT-OS/projects/pull/58.patch
https://github.com/RIOT-OS/projects/pull/58.diff
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20131119/a62c0822/attachment.html>


More information about the notifications mailing list