tree 1eeb50a6e656553f7203173792159ceb84f0f439
parent 7ab97d1ecf66e52bd2477523756e5f79f14f9ccb
author Jinseong Jeon <jsjeon@google.com> 1527007486 -0700
committer Jinseong Jeon <jsjeon@google.com> 1527007523 +0000

Ignore option -mergeinterfacesaggressively

Also left TODOs for options that are not yet fully supported.

Bug: 62524562, 37139570, 76377381
Change-Id: Ia1f5299c5843bf79f6b2e9e5782fd8274c98624e