diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-09-04 10:02:57 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-09-04 10:02:57 +0000 |
commit | 4efefca242e72bb8dfe3540d5dffd38d7ea48155 (patch) | |
tree | ccc1e20225d1f29e9000685b8b0823ef86635de0 | |
parent | 6ce061030c8d0168ce8646e2a78f159c6bef2a0b (diff) | |
download | mpfr-4efefca242e72bb8dfe3540d5dffd38d7ea48155.tar.gz |
[tools/ck-copyright-notice] Check src/mparam_h.in instead of the
generated (and not distributed) src/mparam.h file; this is also
useful to avoid an error after running "make tune".
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9672 280ebfd0-de03-0410-8827-d642c229c3f4
-rwxr-xr-x | tools/ck-copyright-notice | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ck-copyright-notice b/tools/ck-copyright-notice index 064698bb6..921b0d03b 100755 --- a/tools/ck-copyright-notice +++ b/tools/ck-copyright-notice @@ -60,6 +60,8 @@ do continue ;; src/get_patches.c) file="tools/get_patches.sh" ;; + src/mparam.h) + file="src/mparam_h.in" ;; */mparam.h) y="2005-" ;; esac |