tree e73d0dddaaf66edbbcf8dac5a8b3ac85e3ae59b6
parent 2d4e89e97812aeca16ff058d7286f29b7549c43a
author Vladimir Marko <vmarko@google.com> 1412589140 +0100
committer Vladimir Marko <vmarko@google.com> 1412589213 +0100

Propagate optimization flags to kMirOpCheck.

Bug: 17751474
Change-Id: I9561b641d956e21dac686c7cd414fa0c6a176147