mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-29 18:20:07 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

BUG #13511 Wrong patch pushed, fixing.

Browse source
This commit is contained in:
patg@krsna.patg.net 2005-09-28 08:04:08 -07:00
parent ca7a945dc9
commit 3d5c6ea98a
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
BUILD/SETUP.sh
View file

@ -10,7 +10,7 @@ prefix_configs="--prefix=/usr/local/mysql"
just_print=
just_configure=
full_debug=
if test ! -z $MYSQL_BUILD_PREFIX
if test -n "$MYSQL_BUILD_PREFIX"
then
prefix_configs="--prefix=$MYSQL_BUILD_PREFIX"
fi