mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 20:42:30 +01:00
a03c9ff55f
The original XtraDB (and InnoDB plugin) is shipped as a separate source tree which is copied into the MySQL source, after which a setup.sh script must be run to move things into place. Now that XtraDB is part of the MariaDB source tree, this commit fixes these things up once and for all: - New innodb build scripts. - Test suite fixes (new tests and patches to existing). - Remove files no longer needed due to this.
14 lines
328 B
Text
14 lines
328 B
Text
#
|
|
# Make sure http://bugs.mysql.com/41904 remains fixed.
|
|
#
|
|
|
|
-- source include/not_embedded.inc
|
|
-- source include/have_innodb.inc
|
|
|
|
CREATE TABLE bug41904 (id INT PRIMARY KEY, uniquecol CHAR(15)) ENGINE=InnoDB;
|
|
|
|
INSERT INTO bug41904 VALUES (1,NULL), (2,NULL);
|
|
|
|
CREATE UNIQUE INDEX ui ON bug41904 (uniquecol);
|
|
|
|
DROP TABLE bug41904;
|