diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-07-04 22:27:44 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-07-04 22:27:44 +0000 |
| commit | 8e59f72f31a30273626dc744792b25954015e698 (patch) | |
| tree | c54a85945a678e8a98fb75d6cf250a20465bb3e3 /tools/mpfrlint | |
| parent | 1683bc74f4b4c50fcfd8ee4f6e170fd93109ad3d (diff) | |
| download | mpfr-8e59f72f31a30273626dc744792b25954015e698.tar.gz | |
Added tools/ck-clz_tab sh script to check the __clz_tab sizes
(to detect issues like the one fixed in r10542). Run this script
in dist-hook (Makefile.am) and in mpfrlint.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10544 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mpfrlint')
| -rwxr-xr-x | tools/mpfrlint | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 7c9b7d524..b1efb1155 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -310,6 +310,8 @@ else echo "Warning! codespell is not installed. Cannot check spelling." >&2 fi +err-if-output "ck-clz_tab" tools/ck-clz_tab + cd $oldpwd err-if-output "check_inits_clears" $0:h/check_inits_clears |