| commit | fdc9af0ed76aa1a6efa05b122c9bcfdbb7e1e991 | [log] [tgz] |
|---|---|---|
| author | Nicolas Geoffray <ngeoffray@google.com> | Wed Jun 24 16:14:30 2015 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Jun 24 16:14:31 2015 +0000 |
| tree | 8542c3d8c5dc0d643578b2e04fead5da5c5c63af | |
| parent | 0c955b174bf64707ee0ee03195ed56f9cec26fa2 [diff] | |
| parent | 4824c27988c8eeb302791624bb3ce1d557b0db6c [diff] |
Merge "Use a flag from the verifier to know if we should compile."