mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 13:32:33 +01:00
73a66e27e6
into c-870ae253.1238-1-64736c10.cust.bredbandsbolaget.se:/home/pappa/wl2826 configure.in: Auto merged dbug/dbug.c: Auto merged include/my_sys.h: Auto merged sql/ha_heap.cc: Auto merged sql/log.cc: Auto merged sql/mysql_priv.h: Auto merged sql/mysqld.cc: Auto merged sql/partition_info.h: Auto merged sql/sql_base.cc: Auto merged sql/sql_class.cc: Auto merged sql/sql_class.h: Auto merged sql/sql_partition.cc: Auto merged sql/sql_yacc.yy: Auto merged sql/table.cc: Auto merged BUILD/SETUP.sh: manual merge BUILD/compile-pentium-debug-max: manual merge sql/ha_ndbcluster.cc: manual merge sql/ha_ndbcluster.h: manual merge sql/ha_partition.cc: manual merge sql/ha_partition.h: manual merge sql/handler.h: manual merge sql/share/errmsg.txt: manual merge sql/sql_table.cc: manual merge sql/unireg.cc: manual merge
9 lines
213 B
Bash
Executable file
9 lines
213 B
Bash
Executable file
#! /bin/sh
|
|
|
|
path=`dirname $0`
|
|
. "$path/SETUP.sh" "$@" --with-debug=full
|
|
|
|
extra_flags="$pentium_cflags $debug_cflags"
|
|
extra_configs="$pentium_configs $debug_configs $max_configs $error_inject"
|
|
|
|
. "$path/FINISH.sh"
|