diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-01-20 12:59:47 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-01-20 12:59:47 +0000 |
| commit | d64163364efcd4be8d9536660a930ef7a9956d78 (patch) | |
| tree | 3a6491281157d81234ac920901391993835191f3 /Makefile.am | |
| parent | b1e4d704f83bc9df995bbbf513f1369ddfd07612 (diff) | |
| download | mpfr-d64163364efcd4be8d9536660a930ef7a9956d78.tar.gz | |
[src/Makefile.am] For check-gmp-symbols and check-exported-symbols, if
the library is not $(top_builddir)/src/.libs/libmpfr.so, these rules
do nothing instead of potentially failing.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12112 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions