diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-01-31 15:59:16 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-01-31 15:59:16 +0000 |
commit | c55c2846384535bca07d5d6279f917227698ef38 (patch) | |
tree | 4913ece060cf84e8cd1480da6f0c460663ef5fa9 /src/Makefile.am | |
parent | 9571c470e4df07fcc7cd22e32c4c4a50b680ccd6 (diff) | |
download | mpfr-c55c2846384535bca07d5d6279f917227698ef38.tar.gz |
[src/Makefile.am] In check-exported-symbols, replaced grep by $(GREP)
as usual and like in check-gmp-symbols.
(merged changeset r13429 from the trunk)
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@13431 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index def8ac0c8..74e1473cf 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -134,12 +134,12 @@ check-gmp-symbols: $(LTLIBRARIES) # For instance, with r11968, and # ./configure --with-gmp-build=... CC=tcc # the symbol __gmpn_clz_tab is defined, which is wrong. -# Note: the "grep -v '@plt$$'" below is for tcc. +# Note: the "$(GREP) -v '@plt$$'" below is for tcc. check-exported-symbols: $(LTLIBRARIES) if [ -f "$(LIBMPFRSO)" ]; then \ gsymbols=`$(NM) -gP "$(LIBMPFRSO)" | perl -ne \ '/^(__gmp[a-z]?_[_0-9A-Za-z]*) +[A-TV-Z]/ and print " $$1"' | \ - { grep -v '@plt$$' || true ; }`; \ + { $(GREP) -v '@plt$$' || true ; }`; \ if [ -n "$$gsymbols" ]; then \ echo "MPFR defines symbols with a GMP reserved prefix:$$gsymbols"; \ exit 1; \ |