diff options
Diffstat (limited to 'Build-tools')
| -rwxr-xr-x | Build-tools/Do-linux-build | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Build-tools/Do-linux-build b/Build-tools/Do-linux-build index e5b0a49fe75..7a1fc426a30 100755 --- a/Build-tools/Do-linux-build +++ b/Build-tools/Do-linux-build @@ -1,9 +1,16 @@ #! /bin/sh set -e -x + +# Only use the "--with-other-libc" parameter, if another libc actually +# exists at this location OTHER_LIBC_DIR=/usr/local/mysql-glibc +OTHER_LIBC="" +if [ -d OTHER_LIBC_DIR ] ; then + OTHER_LIBC="--with-other-libc=$OTHER_LIBC_DIR" +fi -BUILD/compile-pentium-max --with-other-libc=$OTHER_LIBC_DIR \ +BUILD/compile-pentium-max $OTHER_LIBC \ --with-comment="Official MySQL Binary" \ --prefix=/usr/local/mysql --with-extra-charset=complex \ --enable-thread-safe-client --enable-local-infile \ |