diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-07-10 13:13:31 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-07-10 13:13:31 +0000 |
commit | 254600b858a802bd63ed39b56e1079088f285656 (patch) | |
tree | 1d79ad0f4da41aebe97567e5edd2c25699aa6eaa /tools/ck-copyright-notice | |
parent | 46d0b23c871d8d1dd0e11ae755fc058f2eaeaf16 (diff) | |
download | mpfr-254600b858a802bd63ed39b56e1079088f285656.tar.gz |
[tools/ck-copyright-notice] Ignore src/mini-gmp.[ch] files.
[tools/mpfrlint]
* Ignore src/mini-gmp.[ch] files for some tests.
* Check that __gmp[nz]_ functions are not used (with 2 exceptions),
since this breaks the support of mini-gmp and may also break
future/modified GMP versions.
Note: only code added in r8911 (mpz_t caching) currently fails to
follow this rule.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9151 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/ck-copyright-notice')
-rwxr-xr-x | tools/ck-copyright-notice | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/ck-copyright-notice b/tools/ck-copyright-notice index 609247262..a338e7e74 100755 --- a/tools/ck-copyright-notice +++ b/tools/ck-copyright-notice @@ -36,6 +36,9 @@ do tests/RRTest.c) # This file doesn't have a copyright notice, but isn't distributed. continue ;; + src/mini-gmp.[ch]) + # These files may have been added by the user or 3rd party. + continue ;; src/mpfr-longlong.h) # This file (which comes from GMP) has a specific copyright notice. continue ;; |