summaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorAndreas Enge <andreas.enge@inria.fr>2011-08-30 16:49:20 +0000
committerAndreas Enge <andreas.enge@inria.fr>2011-08-30 16:49:20 +0000
commit69c2db8e84cfee22467f7d280c84b5b511bf27f3 (patch)
tree3a49ba4265ae39fb1f5e590e89276d317320044e /configure.ac
parent62c1d3787fee2f5825405488f1543b67e750d439 (diff)
downloadmpc-git-69c2db8e84cfee22467f7d280c84b5b511bf27f3.tar.gz
tests/Makefile.am: force creating of executables instead of shell scripts
configure.ac: allow valgrind tests for dynamic library git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/mpc/trunk@1047 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac7
1 files changed, 2 insertions, 5 deletions
diff --git a/configure.ac b/configure.ac
index 41b3974..5560da3 100644
--- a/configure.ac
+++ b/configure.ac
@@ -85,12 +85,9 @@ AC_ARG_ENABLE([logging],
)
AC_ARG_ENABLE([valgrind-tests],
[AC_HELP_STRING([--enable-valgrind-tests],
- [run checks through valgrind for static library (default = no)])],
+ [run checks through valgrind (default = no)])],
[case $enableval in
- yes) AS_IF([test "x$enable_shared" != "xno"],
- [AC_MSG_ERROR([Valgrind checks do not work with shared libraries; use --enable-valgrind-tests only with --disable-shared])],
- [gl_VALGRIND_TESTS]
- ) ;;
+ yes) gl_VALGRIND_TESTS ;;
no) ;;
*) AC_MSG_ERROR([Bad value for --enable-valgrind-tests: Use yes or no]) ;;
esac