diff options
| author | zimmerma <zimmerma@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-08-30 13:23:26 +0000 |
|---|---|---|
| committer | zimmerma <zimmerma@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-08-30 13:23:26 +0000 |
| commit | e04fd486f7c204fb9215ac906b9c45309ded4c5f (patch) | |
| tree | 272b093d92b0334fe8eb90a2fb343a6fd83aefad /doc | |
| parent | 57f281ebed3ffdaaccf39f2848e365c2b6f56443 (diff) | |
| download | mpc-e04fd486f7c204fb9215ac906b9c45309ded4c5f.tar.gz | |
[configure.ac] added --enable-valgrind option
[tests/Makefile.am] use valgrind if --enable-valgrind and valgrind is present
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1039 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions