diff options
author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2006-11-23 14:10:10 +0000 |
---|---|---|
committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2006-11-23 14:10:10 +0000 |
commit | 414684147b75212df86eb17fb73b522fa3b420dd (patch) | |
tree | 57ad59cfa0df7d6bbcf42bd35ec42f2b28477a6c /nightly-test | |
parent | 94df0a3a6e1553f2394b419adb31ecfb51448494 (diff) | |
download | mpfr-414684147b75212df86eb17fb73b522fa3b420dd.tar.gz |
added --with-tests-timeout=60 for nightly tests
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@4278 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'nightly-test')
-rwxr-xr-x | nightly-test | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nightly-test b/nightly-test index 5e99fb12b..8473dba01 100755 --- a/nightly-test +++ b/nightly-test @@ -15,7 +15,7 @@ svn checkout "svn://scm.gforge.inria.fr/svn/mpfr/${BRANCH:-trunk}" "$DIR" cd "$DIR" autoreconf -i ./configure --with-gmp="$GMP" --disable-alloca --enable-assert=full \ - --disable-shared --enable-thread-safe + --disable-shared --enable-thread-safe --with-tests-timeout=60 make export GMP_CHECK_RANDOMIZE=1 make check |