Code

add command make check_valgrind#54

Code

Merged

dellaert merged 3 commits intoborglab:developborglab/gtsam:developfrom jlblancoc:add_make_check_valgrindCopy head branch name to clipboardJun 11, 2019

+72-53

Commits

Commits on Jun 10, 2019

• add command make check_valgrind

  jlblancoc

  committed
  2c7389d

  Copy full SHA for 2c7389d

Commits on Jun 11, 2019

• targets renamed: xxx.valgrind

  jlblancoc

  committed
  2d67ade

  Copy full SHA for 2d67ade

• re-indent: script had an inconsistent mix of tabs and spaces

  jlblancoc

  committed
  05e8fbc

  Copy full SHA for 05e8fbc