Sergey Vojtovich c182f70115 Removed legacy name for innodb_plugin SE, so --with[out]-innodb ... option doesn't affect innodb_plugin. Currently it works as following: * configure without relevant options producing two dynamic plugins * configure --with-plugin-innodb (or legacy --with-innodb) producing static standard InnoDB * configure --without-plugin-innodb (or legacy --without-innodb) disabling standard InnoDB * configure --with-plugin-innodb_plugin producing dynamic innodb_plugin * configure --without-plugin-innodb_plugin disabling innodb_plugin storage/innodb_plugin/plug.in: Removed legacy name for innodb_plugin SE.		2009-06-10 22:50:00 +05:00
..
default.conf	Removed legacy name for innodb_plugin SE, so --with[out]-innodb	2009-06-10 22:50:00 +05:00