mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-02-01 03:21:53 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge gbichot@bk-internal.mysql.com:/home/bk/mysql-5.0

Browse source 
into mysql.com:/home/mysql_src/mysql-5.0-clean
This commit is contained in:
unknown 2005-01-18 14:46:27 +01:00
commit c207dfd994
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
configure.in
View file

@ -2629,7 +2629,7 @@ AC_SUBST(server_scripts)
sql_union_dirs=" $sql_server_dirs "
for DIR in $sql_client_dirs
do
if echo $sql_union_dirs | grep " $DIR " >/dev/null
if echo " $sql_union_dirs " | grep " $DIR " >/dev/null
then
: # already present, skip
else