diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-01-31 15:09:00 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-01-31 15:09:00 +0000 |
commit | 153f73a78e0bb7e0aad5f428031522bc6c9148d4 (patch) | |
tree | cabfb8f8d2e222bc33418e5cc2b1f5eacf6243ff /tools | |
parent | 780cc04376c6736056103589cd21c89d74fef01a (diff) | |
download | mpfr-153f73a78e0bb7e0aad5f428031522bc6c9148d4.tar.gz |
[src/Makefile.am] In check-exported-symbols, replaced grep by $(GREP)
as usual and like in check-gmp-symbols.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13429 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions