am 28676346: Use a flag from the verifier to know if we should compile.

* commit '286763464072ffb599846f76720c7ec54392ae6e':
  Use a flag from the verifier to know if we should compile.