Ticket #18332: patch-Portfile
| File patch-Portfile, 476 bytes (added by pixilla (Bradley Giesbrecht), 15 years ago) |
|---|
| Line | |
|---|---|
| 1 | --- Portfile.orig 2009-02-02 10:08:30.000000000 -0800 |
| 2 | +++ Portfile 2009-02-02 10:14:19.000000000 -0800 |
| 3 | @@ -106,6 +106,10 @@ |
| 4 | startupitem.stop "${prefix}/share/${mysql}/mysql/mysql.server stop" |
| 5 | } |
| 6 | |
| 7 | +variant partition description {add support for database partitioning} { |
| 8 | + configure.args-append --with-partition |
| 9 | +} |
| 10 | + |
| 11 | set plugin_version 1.0.2 |
| 12 | set plugin_distname innodb_plugin-${plugin_version} |
| 13 | set plugin_distfile ${plugin_distname}${extract.suffix} |