summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2015-05-05 08:15:35 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2015-05-05 08:15:35 +0000
commitc4243ebdb85f5303ac36e673fad6a7e3471fbc86 (patch)
treec859db42d85824c9d5d14a2870ed740cbf1a14df /tools
parent21baae24a9a8e9dbf40f6a1fcfdf7058c32aa9d9 (diff)
downloadmpfr-c4243ebdb85f5303ac36e673fad6a7e3471fbc86.tar.gz
[tools/nightly-test] Run "make check" with VERBOSE=1 in order to have
tests/test-suite.log output in case of failure, now that Automake 1.13+ is used. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9382 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
-rwxr-xr-xtools/nightly-test3
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/nightly-test b/tools/nightly-test
index 302a4dd7e..036a00d73 100755
--- a/tools/nightly-test
+++ b/tools/nightly-test
@@ -39,7 +39,8 @@ export GMP_CHECK_RANDOMIZE=1
export MPFR_SUSPICIOUS_OVERFLOW=1
export MPFR_CHECK_LIBC_PRINTF=1
export MPFR_SKIP_EXTREME=1
-make check
+# The VERBOSE=1 allows tests/test-suite.log to be output in case of failure.
+VERBOSE=1 make check
# reconfigure for mpfrbench
make distclean
if [ "$CC" == "g++" ]; then