diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2011-09-09 11:40:33 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2011-09-09 11:40:33 +0000 |
| commit | 0899251026ae7ff73b8ae1ee5d3d13428710d5c2 (patch) | |
| tree | aa5785bebd5681588b229afdf0c7dbd62a80798b /tools | |
| parent | c08ac5ea823197ef674deaba107721be4b161b5a (diff) | |
| download | mpfr-0899251026ae7ff73b8ae1ee5d3d13428710d5c2.tar.gz | |
[tools/ck-copyright-notice] Skip src/mpfr-longlong.h as this file
(which comes from GMP) has a specific copyright notice.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7816 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ck-copyright-notice | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/ck-copyright-notice b/tools/ck-copyright-notice index dadf90f25..fe23928e8 100755 --- a/tools/ck-copyright-notice +++ b/tools/ck-copyright-notice @@ -24,6 +24,10 @@ do y="" case $file in tests/RRTest.c) + # This file doesn't have a copyright notice, but isn't distributed. + continue ;; + src/mpfr-longlong.h) + # This file (which comes from GMP) has a specific copyright notice. continue ;; src/get_patches.c) file="tools/get_patches.sh" ;; |