tree ef22b91e2ba54a6fd555d923fed12650c2a66727
parent cbc3db84e1ed549a97bade286b3ab595ab6c5ae1
author maxwen <max.weninger@gmail.com> 1534774067 +0200
committer Max Weninger <max.weninger@gmail.com> 1534843986 +0200

omni: dexpreopt is now mandatory

Change-Id: I1a4a075d6b46dd9c21390fe06aae30e432f391cd