| commit | 1a21b545604799e75e253e700c4e48c06cbbc68d | [log] [tgz] |
|---|---|---|
| author | gbeili <gbeili@users.noreply.github.com> | Wed Jan 11 10:36:18 2017 -0800 |
| committer | Wouter van Oortmerssen <aardappel@gmail.com> | Wed Jan 11 10:36:18 2017 -0800 |
| tree | 7198a18a912544353bff15c93a323be15c0cb11c | |
| parent | b55f18649a86c699118ed29e5470afbde421883c [diff] |
Add a builder option to enable/disable vtables deduplication. (#4132) * Add a builder option to enable/disable vtables deduplication. * address code review comments