summaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2013-07-12 07:28:18 +0000
committerzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2013-07-12 07:28:18 +0000
commit5a18bd349dd7670012229070f619700cc0652043 (patch)
tree852dab0dcd4cd55d7360314e2842b62500457cd2 /configure.ac
parent7d3b04a77409e26d76dcdf95560423fc8446e1db (diff)
downloadmpfr-5a18bd349dd7670012229070f619700cc0652043.tar.gz
revert temporary commit 8613
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8615 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac1
1 files changed, 0 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac
index ff39dd638..03956650d 100644
--- a/configure.ac
+++ b/configure.ac
@@ -556,7 +556,6 @@ AC_RUN_IFELSE([AC_LANG_PROGRAM([[
AC_MSG_WARN([we can't be sure. See 'config.log' for details.])
AC_MSG_WARN([Temporary LD_RUN_PATH was "$LD_RUN_PATH".])
AC_MSG_WARN([==========================================================])
- AC_MSG_ERROR([gmp.h and libgmp differ])
],AC_MSG_RESULT([can not test])
)
LD_RUN_PATH="$saved_LD_RUN_PATH"