[riot-commits] [RIOT-OS/RIOT] 0530bc: make: export VALGRIND_PID only for debug-valgrind

Cenk Gündoğan cnkgndgn at gmail.com
Tue Mar 15 23:07:30 CET 2016


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 0530bc9c6c82c10ffbf9f91a9c7cafda0747508c
      https://github.com/RIOT-OS/RIOT/commit/0530bc9c6c82c10ffbf9f91a9c7cafda0747508c
  Author: Oleg Hahm <oleg at hobbykeller.org>
  Date:   2016-03-15 (Tue, 15 Mar 2016)

  Changed paths:
    M boards/native/Makefile.include

  Log Message:
  -----------
  make: export VALGRIND_PID only for debug-valgrind


  Commit: 807fba2f6a00f484156b2e2063b8af11f3dcbdb5
      https://github.com/RIOT-OS/RIOT/commit/807fba2f6a00f484156b2e2063b8af11f3dcbdb5
  Author: Cenk Gündoğan <cnkgndgn at gmail.com>
  Date:   2016-03-15 (Tue, 15 Mar 2016)

  Changed paths:
    M boards/native/Makefile.include

  Log Message:
  -----------
  Merge pull request #5080 from OlegHahm/debug_valgrind_do_not_always_export

make: export VALGRIND_PID only for debug-valgrind


Compare: https://github.com/RIOT-OS/RIOT/compare/99888549afa5...807fba2f6a00


More information about the commits mailing list