summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFridrich Štrba <fridrich.strba@bluewin.ch>2013-03-11 13:52:21 +0100
committerFridrich Štrba <fridrich.strba@bluewin.ch>2013-03-11 13:52:21 +0100
commit3e4835a107c0c71fea9a25a10e8a39a5fb7fabfd (patch)
treec28f45390768bbcd59f6a0dd9e6adf786bcaa903
parent3e736d50b920726eee85568257bed2001e6abbf2 (diff)
Declare MARIADBCONFIG precious, so that it can be overriden
Change-Id: I585e57cc7eb15016374c284aa2295df0ebe799ad
-rw-r--r--configure.ac1
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
index 82f726835334..c9eac8303663 100644
--- a/configure.ac
+++ b/configure.ac
@@ -7554,6 +7554,7 @@ if test "$ENABLE_MARIADBC" = "YES"; then
if test "$with_system_mariadb" = "yes"; then
AC_MSG_RESULT([external])
SYSTEM_MARIADB=YES
+ AC_ARG_VAR(MARIADBCONFIG, [Setting this variable will override the mariadb_config script detection])
AC_PATH_PROG( MARIADBCONFIG, mariadb_config)
AC_MSG_CHECKING([MariaDB version])
MARIADB_VERSION=`$MARIADBCONFIG --version`