Merge "ART: Add option to ensure deterministic compilation"
am: 78e90155b2

* commit '78e90155b249588cb800e7f6e5993ebcbd465292':
  ART: Add option to ensure deterministic compilation