diff options
author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2006-11-22 08:03:59 +0000 |
---|---|---|
committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2006-11-22 08:03:59 +0000 |
commit | bbb9a96f7dfec0b8963a74907e1fc7a6492eab43 (patch) | |
tree | c761525c9db7ea24e3e1bc5919f4ac2d4918f787 /nightly-test | |
parent | aa62ac2d84940c36a57bece665d468303917f694 (diff) | |
download | mpfr-bbb9a96f7dfec0b8963a74907e1fc7a6492eab43.tar.gz |
set GMP_CHECK_RANDOMIZE to get random tests
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@4266 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'nightly-test')
-rwxr-xr-x | nightly-test | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nightly-test b/nightly-test index b054e81cf..5e99fb12b 100755 --- a/nightly-test +++ b/nightly-test @@ -17,6 +17,7 @@ autoreconf -i ./configure --with-gmp="$GMP" --disable-alloca --enable-assert=full \ --disable-shared --enable-thread-safe make +export GMP_CHECK_RANDOMIZE=1 make check cd /tmp /bin/rm -fr "$DIR" |