commit | 9e80e7fa5ef60f02f35823bc58969c3d5a03453e | [log] [tgz] |
---|---|---|
author | Andreas Gampe <agampe@google.com> | Mon Feb 23 23:48:29 2015 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Feb 23 23:49:22 2015 +0000 |
tree | 8c6d6798acb0a2af91bb3aeabac90ed60269ac7d | |
parent | 84fbead44b77c5f9f9458d88b42c8925a002dfd4 [diff] | |
parent | 24e04aa68c575d349eac0d9d09aab9bd3106ef94 [diff] |
Merge "ART: Allow the execution to stop if the compilation fails via an option"