diff options
| author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2007-05-28 15:51:00 +0000 |
|---|---|---|
| committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2007-05-28 15:51:00 +0000 |
| commit | afa0eec485008e487735871124e2d30d1e11fd29 (patch) | |
| tree | 43d86e0f00388b360383a951e48746f57e42c781 /nightly-test | |
| parent | 8818539b6e6cf9a90379e366495087b5d30ac7a1 (diff) | |
| download | mpfr-afa0eec485008e487735871124e2d30d1e11fd29.tar.gz | |
re-enabled MPFR_CHECK_TINY
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@4483 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'nightly-test')
| -rwxr-xr-x | nightly-test | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/nightly-test b/nightly-test index 7b76ffbe5..4bb4a5cbc 100755 --- a/nightly-test +++ b/nightly-test @@ -18,8 +18,7 @@ autoreconf -i --disable-shared --enable-thread-safe --enable-tests-timeout=60 make export GMP_CHECK_RANDOMIZE=1 -# disabled because --enable-tests-timeout does not seem to work -# export MPFR_CHECK_TINY=1 +export MPFR_CHECK_TINY=1 make check cd /tmp /bin/rm -fr "$DIR" |