Commit 73e5f698 authored by unknown's avatar unknown
Browse files

Do-compile: 

  Added option --with-big-tables


Build-tools/Do-compile:
  Added option --with-big-tables
BitKeeper/etc/logging_ok:
  Logging to logging@openlogging.org accepted
parent 1a960df7

BitKeeper/etc/logging_ok

+1 −0
Original line number Diff line number Diff line
@@ -70,6 +70,7 @@ jimw@mysql.com 
joerg@mysql.com

jorge@linux.jorge.mysql.com

kaj@work.mysql.com

kent@mysql.com

konstantin@mysql.com

kostja@oak.local

lenz@kallisto.mysql.com

Build-tools/Do-compile

+4 −2
Original line number Diff line number Diff line
@@ -11,7 +11,7 @@ $opt_distribution=$opt_user=$opt_config_env=$opt_config_extra_env=""; 
$opt_dbd_options=$opt_perl_options=$opt_config_options=$opt_make_options=$opt_suffix="";

$opt_tmp=$opt_version_suffix="";

$opt_help=$opt_delete=$opt_debug=$opt_stage=$opt_no_test=$opt_no_perl=$opt_one_error=$opt_with_low_memory=$opt_fast_benchmark=$opt_static_client=$opt_static_server=$opt_static_perl=$opt_sur=$opt_with_small_disk=$opt_local_perl=$opt_tcpip=$opt_build_thread=$opt_use_old_distribution=$opt_enable_shared=$opt_no_crash_me=$opt_no_strip=$opt_with_debug=$opt_no_benchmark=$opt_no_mysqltest=$opt_without_embedded=0;

$opt_innodb=$opt_bdb=$opt_raid=$opt_libwrap=$opt_clearlogs=$opt_without_ndbcluster=0;

$opt_innodb=$opt_bdb=$opt_raid=$opt_libwrap=$opt_clearlogs=$opt_without_ndbcluster=$opt_with_big_tables=0;



GetOptions(

	"bdb",
@@ -51,6 +51,7 @@ GetOptions( 
	"use-old-distribution",

	"user=s",

	"version-suffix=s",

        "with-big-tables",

	"with-debug",

	"with-low-memory",

	"with-other-libc=s",
@@ -258,6 +259,7 @@ if ($opt_stage <= 1) 
  $opt_config_options.= " --with-debug" if ($opt_with_debug);

  $opt_config_options.= " --with-libwrap" if ($opt_libwrap);

  $opt_config_options.= " --with-low-memory" if ($opt_with_low_memory);

  $opt_config_options.= " --with-big-tables" if ($opt_with_big_tables);

  $opt_config_options.= " --with-mysqld-ldflags=-all-static" if ($opt_static_server);

  $opt_config_options.= " --with-raid" if ($opt_raid);

  $opt_config_options.= " --with-embedded-server" unless ($opt_without_embedded);