tree d1a8514df38057f5f0977e3edce7528cf06a04a7
parent 21f752d24b06a554aa4daee7bbadac2eca88c994
parent 8d2ceab800890b562c9a03a7f5920fb9bfb37858
author Andreas Gampe <agampe@google.com> 1425610762 +0000
committer Android Git Automerger <android-git-automerger@android.com> 1425610762 +0000

am 8d2ceab8: Merge "ART: Add option to abort dex2oat on hard failure"

* commit '8d2ceab800890b562c9a03a7f5920fb9bfb37858':
  ART: Add option to abort dex2oat on hard failure