diff options
author | Joerg Bruehe <joerg@mysql.com> | 2008-10-27 19:52:24 +0100 |
---|---|---|
committer | Joerg Bruehe <joerg@mysql.com> | 2008-10-27 19:52:24 +0100 |
commit | 02705ee284d4822070d0d12e6184c600cab7e339 (patch) | |
tree | 8884fa6e063b14ac16126b17220f01ca40b36908 /configure.in | |
parent | 9664a208662c495e3a9f015aea62383b9acdb741 (diff) | |
parent | b1f396227669531e81d443395822f7a395c789ca (diff) | |
download | mariadb-git-02705ee284d4822070d0d12e6184c600cab7e339.tar.gz |
Merge a correction for the 38098 bug into 5.0-build,
it will also be used in the 5.0.72 release.
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 493f46251a9..83220a879f0 100644 --- a/configure.in +++ b/configure.in @@ -2728,8 +2728,10 @@ then AC_SUBST(THREAD_LOBJECTS) fi -if test "$with_server" != "no" +if test "$with_server" = "no" then + AM_CONDITIONAL([BUILD_INNODB_TOOLS], [false]) +else server_scripts="mysqld_safe mysql_install_db" sql_server_dirs="strings mysys dbug extra regex" |