1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
RIOT/dist
Ludwig Ortmann 336c5159b2 use pkg-config to add valgrind include path
makes knowledge of VALGRIND_VALGRIND_H vs. VALGRIND_H optional
2014-02-11 19:22:39 +01:00
..
tools remove trailing whitespace and newlines 2014-02-11 18:45:06 +01:00
Makefile use pkg-config to add valgrind include path 2014-02-11 19:22:39 +01:00