diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2012-06-26 22:35:39 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2012-06-26 22:35:39 +0000 |
| commit | 751e3b472553cc09b0ef481e493b9d33ee105461 (patch) | |
| tree | e42789d4ffeb61e6d3c6152b441423ff2be2d1ee /tools | |
| parent | dd6c7ccdda671496280c77368532b3b008eff80f (diff) | |
| download | mpfr-751e3b472553cc09b0ef481e493b9d33ee105461.tar.gz | |
Added configure option --enable-assert=none to avoid checking any
assertion (this is based on a patch by Patrick).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8271 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/coverage | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coverage b/tools/coverage index 54591b0b0..0490eec9d 100755 --- a/tools/coverage +++ b/tools/coverage @@ -19,7 +19,7 @@ echo "Reconfiguring MPFR" autoreconf -i || exit 1 echo "Building MPFR" -./configure --enable-assert --disable-shared --enable-static \ +./configure --enable-assert=none --disable-shared --enable-static \ CFLAGS="-fprofile-arcs -ftest-coverage -g" || exit 1 make clean || exit 1 make all -j4 || exit 1 |