diff options
author | patg@krsna.patg.net <> | 2005-09-28 08:04:08 -0700 |
---|---|---|
committer | patg@krsna.patg.net <> | 2005-09-28 08:04:08 -0700 |
commit | 3d5c6ea98a1da00b1a770c55aab4e1e2173b8793 (patch) | |
tree | cf4ca2208b424b743b5ddb33b3784d071c4c2562 /BUILD | |
parent | ca7a945dc98b13365436441baaa41d813600d136 (diff) | |
download | mariadb-git-3d5c6ea98a1da00b1a770c55aab4e1e2173b8793.tar.gz |
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 |