diff options
| author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-01-22 15:16:09 +0000 |
|---|---|---|
| committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-01-22 15:16:09 +0000 |
| commit | c61dc0020062a3ed07f3485fcdf22ac6e656497c (patch) | |
| tree | 8454aca94a514aa7c5432cd1f36c072c6fece8c1 /tools | |
| parent | 846beb3b6ff3a05d66907c5fec2ccb42a014d4e0 (diff) | |
| download | mpfr-c61dc0020062a3ed07f3485fcdf22ac6e656497c.tar.gz | |
added MPFRbench
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8863 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/nightly-test | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/nightly-test b/tools/nightly-test index cdde77068..15f6f49cc 100755 --- a/tools/nightly-test +++ b/tools/nightly-test @@ -40,5 +40,8 @@ export MPFR_CHECK_MAX=1 export MPFR_SUSPICIOUS_OVERFLOW=1 export MPFR_CHECK_LIBC_PRINTF=1 make check +cd tools/bench +make +./mpfrbench cd /tmp /bin/rm -fr "$DIR" |