diff options
author | unknown <patg@krsna.patg.net> | 2005-09-28 08:04:08 -0700 |
---|---|---|
committer | unknown <patg@krsna.patg.net> | 2005-09-28 08:04:08 -0700 |
commit | ea599a00327419e832d6baa1a40a0f1941d194a0 (patch) | |
tree | cf4ca2208b424b743b5ddb33b3784d071c4c2562 /BUILD | |
parent | 515610b30d655bf023f80c066a8c333629c0a27a (diff) | |
download | mariadb-git-ea599a00327419e832d6baa1a40a0f1941d194a0.tar.gz |
BUG #13511 Wrong patch pushed, fixing.
BUILD/SETUP.sh:
BUG #13511, wrong patch pushed, fixing.
Diffstat (limited to 'BUILD')
-rwxr-xr-x | BUILD/SETUP.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/BUILD/SETUP.sh b/BUILD/SETUP.sh index c86687bf03b..d9d92137817 100755 --- a/BUILD/SETUP.sh +++ b/BUILD/SETUP.sh @@ -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 |