diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-01-20 12:38:52 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-01-20 12:38:52 +0000 |
commit | b1e4d704f83bc9df995bbbf513f1369ddfd07612 (patch) | |
tree | 343dbd9a3e7dddace781b5254ee9c3fea6a39e58 /Makefile.am | |
parent | bc8e34558e4bf6cd2666400830aed7b8657aee28 (diff) | |
download | mpfr-b1e4d704f83bc9df995bbbf513f1369ddfd07612.tar.gz |
Added check-exported-symbols make rule to check that MPFR does not
define symbols with a GMP reserved prefix.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12111 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 90e568569..701e62c07 100644 --- a/Makefile.am +++ b/Makefile.am @@ -54,4 +54,7 @@ dist-hook: check-gmp-symbols: cd src && $(MAKE) check-gmp-symbols -.PHONY: check-gmp-symbols +check-exported-symbols: + cd src && $(MAKE) check-exported-symbols + +.PHONY: check-gmp-symbols check-exported-symbols |