diff options
author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2012-07-05 17:09:55 +0000 |
---|---|---|
committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2012-07-05 17:09:55 +0000 |
commit | 715e472eaadd10427204e40eb2a92d776c751a32 (patch) | |
tree | c39b2ef4d28bf2915ecd2f5ff4d599899703df1e /tools | |
parent | f7d61fd4c75e6cb898308f834ee7c58c488d9200 (diff) | |
download | mpfr-715e472eaadd10427204e40eb2a92d776c751a32.tar.gz |
[coverage] unset MPFR_* environment variables to get reproducible results
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8331 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/coverage | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/coverage b/tools/coverage index 195e29456..446cc0c99 100755 --- a/tools/coverage +++ b/tools/coverage @@ -29,6 +29,10 @@ make all -j4 || exit 1 # Note: we want to compute the coverage even in case of failure of some tests. unset GMP_CHECK_RANDOMIZE +unset MPFR_CHECK_MAX +unset MPFR_SUSPICIOUS_OVERFLOW +unset MPFR_CHECK_LIBC_PRINTF +unset MPFR_CHECK_LARGEMEM make check -j4 # Check version of gcov: |