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 /README.dev | |
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 'README.dev')
0 files changed, 0 insertions, 0 deletions