am 9e80e7fa: Merge "ART: Allow the execution to stop if the compilation fails via an option"

* commit '9e80e7fa5ef60f02f35823bc58969c3d5a03453e':
  ART: Allow the execution to stop if the compilation fails via an option