mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 04:22:27 +01:00
20 lines
346 B
Text
20 lines
346 B
Text
|
#!/bin/sh
|
||
|
|
||
|
path=`dirname $0`
|
||
|
. "$path/SETUP.sh"
|
||
|
|
||
|
extra_flags="-m32 -mt -D_FORTEC_ -xbuiltin=%all -xlibmil -xlibmopt -fns=no -xprefetch=auto -xprefetch_level=3"
|
||
|
extra_configs="$max_configs --with-libevent"
|
||
|
|
||
|
warnings=""
|
||
|
c_warnings=""
|
||
|
cxx_warnings=""
|
||
|
base_cxxflags="-noex"
|
||
|
|
||
|
CC=cc
|
||
|
CFLAGS="-xstrconst"
|
||
|
CXX=CC
|
||
|
LDFLAGS="-lmtmalloc"
|
||
|
|
||
|
. "$path/FINISH.sh"
|