diff options
Diffstat (limited to 'databases/mysql80-server/files/patch-storage_innobase_buf_buf0buf.cc')
| -rw-r--r-- | databases/mysql80-server/files/patch-storage_innobase_buf_buf0buf.cc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/databases/mysql80-server/files/patch-storage_innobase_buf_buf0buf.cc b/databases/mysql80-server/files/patch-storage_innobase_buf_buf0buf.cc new file mode 100644 index 000000000000..0a3b1944f50e --- /dev/null +++ b/databases/mysql80-server/files/patch-storage_innobase_buf_buf0buf.cc @@ -0,0 +1,11 @@ +--- storage/innobase/buf/buf0buf.cc.orig 2016-03-28 18:06:12 UTC ++++ storage/innobase/buf/buf0buf.cc +@@ -338,7 +338,7 @@ typedef std::map< + const byte*, + buf_chunk_t*, + std::less<const byte*>, +- ut_allocator<std::pair<const byte*, buf_chunk_t*> > > ++ ut_allocator<std::pair<const byte* const, buf_chunk_t*> > > + buf_pool_chunk_map_t; + + static buf_pool_chunk_map_t* buf_chunk_map_reg; |