diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-08-28 10:29:23 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-08-28 10:29:23 +0000 |
commit | a4dbf90a712e48ab31d080267205089526160870 (patch) | |
tree | 1447709ba46e309f941ecd2489c02a8d66dcc8eb /tools/mpfrlint | |
parent | a833a98f0bf14eda585c176d967b744f13727bbb (diff) | |
download | mpfr-a4dbf90a712e48ab31d080267205089526160870.tar.gz |
[tools/mpfrlint] Run tools/ck-version-info.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11679 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mpfrlint')
-rwxr-xr-x | tools/mpfrlint | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 5369ba5ad..b1d70d8c4 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -423,6 +423,7 @@ fi err-if-output "ck-clz_tab" tools/ck-clz_tab err-if-output "ck-inits-clears" tools/ck-inits-clears +err-if-output "ck-version-info" tools/ck-version-info ############################################################################ |