summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-09-18 13:59:54 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-09-18 13:59:54 +0000
commit081fd97510f88f5461fe0dcd8011656c4bd812a1 (patch)
tree81f8301be6fb9bb2649c7fb03c26d3c0ab65521b /tools
parent77f9357e5f749ab14a992996438b471ef88cefac (diff)
downloadmpfr-081fd97510f88f5461fe0dcd8011656c4bd812a1.tar.gz
[tests/Makefile.am] Run tversion at the beginning of the tests,
then show its output and svnversion's output too. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13221 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions