diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2011-09-09 11:20:25 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2011-09-09 11:20:25 +0000 |
| commit | 6a7120ea83a6f244eaf12190eaf2b24c086c5501 (patch) | |
| tree | 9d9c39ac112b7ce5b75c9a27f64e4d3ae3c367bf /tools/mpfrlint | |
| parent | d29822435f179ee8973a25bbb80d2527a6c5b6e7 (diff) | |
| download | mpfr-6a7120ea83a6f244eaf12190eaf2b24c086c5501.tar.gz | |
Added tools/ck-copyright-notice sh script from mpfrlint (updated) to
check that copyright notices exist and appear to be correct. Updated
tools/mpfrlint to run tools/ck-copyright-notice instead of its old
test. In Makefile.am, run tools/ck-copyright-notice in dist-hook for
"make dist".
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7812 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mpfrlint')
| -rwxr-xr-x | tools/mpfrlint | 16 |
1 files changed, 1 insertions, 15 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 9d14f1f30..70d9c8b1d 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -97,21 +97,7 @@ GFDL versions differ: mpfr.texi: $fdlv2 EOF -# Note: if paragraphs are reformatted, this may need to be updated. -lgpl="`sed -n '/version [0-9.]* or any later version/ { - s/.*version // - s/ or.*// - p - q - }' doc/mpfr.texi`" -for file in $srctests -do - [ "$file" = "src/get_patches.c" ] && file="tools/get_patches.sh" - if grep -q "GNU MPFR Library" "$file"; then - grep -q "either version $lgpl of the License" "$file" || \ - echo "Possibly missing or incorrect copyright notice in $file" - fi -done +tools/ck-copyright-notice texisvnd=`LC_ALL=C TZ=UTC svn info doc/mpfr.texi 2> /dev/null | sed -n 's/Last Changed Date:.*, [0-9]* \([A-Z][a-z][a-z] [0-9][0-9][0-9][0-9]\)).*/\1/p'` if [ $? -eq 0 ] && [ -n "$texisvnd" ]; then |