am 81156d93: Merge "Add coverage flag for libm."

* commit '81156d93c557e88379dd3e9d869dcc97a15293f5':
  Add coverage flag for libm.