diff options
author | monty@mashka.mysql.fi <> | 2003-01-09 11:11:06 +0200 |
---|---|---|
committer | monty@mashka.mysql.fi <> | 2003-01-09 11:11:06 +0200 |
commit | 54ad6de1d9f8824bd92f817a873b8a13c70ea7c2 (patch) | |
tree | f04a9d72de14605a0411da0263bf834e80688166 /configure.in | |
parent | 2ea43f3c53573a6482ea84556e11e5db6cedddef (diff) | |
download | mariadb-git-54ad6de1d9f8824bd92f817a873b8a13c70ea7c2.tar.gz |
Portability fix
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 06dc6e03fb6..e689771d1ce 100644 --- a/configure.in +++ b/configure.in @@ -2360,6 +2360,7 @@ EOF if test X"$have_innodb" = Xyes then + innodb_conf_flags="" sql_server_dirs="$sql_server_dirs innobase" echo "CONFIGURING FOR INNODB" if test ! -d "innobase"; then @@ -2372,7 +2373,11 @@ EOF /* ) rel_srcdir="$srcdir" ;; * ) rel_srcdir="../$srcdir" ;; esac - (cd innobase && sh $rel_srcdir/innobase/configure) \ + if test "x$enable_dependency_tracking" == xno + then + innodb_conf_flags=--disable-dependency-tracking + fi + (cd innobase && sh $rel_srcdir/innobase/configure $innodb_conf_flags) \ || AC_MSG_ERROR([could not configure INNODB]) echo "END OF INNODB CONFIGURATION" |