diff options
Diffstat (limited to 'win/configure.js')
| -rw-r--r-- | win/configure.js | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/win/configure.js b/win/configure.js index c86ec0cf47c..f3a30ec9686 100644 --- a/win/configure.js +++ b/win/configure.js @@ -32,6 +32,7 @@ try var default_comment = "Source distribution"; var default_port = GetValue(configureIn, "MYSQL_TCP_PORT_DEFAULT"); var actual_port = 0; + var with_maria_tmp_tables = -1; var configfile = fso.CreateTextFile("win\\configure.data", true); for (i=0; i < args.Count(); i++) @@ -51,6 +52,17 @@ try case "WITH_EMBEDDED_SERVER": configfile.WriteLine("SET (" + args.Item(i) + " TRUE)"); break; + case "WITH_MARIA_STORAGE_ENGINE": + configfile.WriteLine("SET (" + args.Item(i) + " TRUE)"); + if(with_maria_tmp_tables == -1) + { + with_maria_tmp_tables = 1; + } + break; + case "WITH_MARIA_TMP_TABLES": + with_maria_tmp_tables = ( parts.length == 1 || + parts[1] == "YES" || parts[1] == "TRUE"); + break; case "MYSQL_SERVER_SUFFIX": case "MYSQLD_EXE_SUFFIX": configfile.WriteLine("SET (" + parts[0] + " \"" @@ -64,6 +76,10 @@ try break; } } + if (with_maria_tmp_tables == 1) + { + configfile.WriteLine("SET (WITH_MARIA_TMP_TABLES TRUE)"); + } if (actual_port == 0) { // if we actually defaulted (as opposed to the pathological case of |