| commit | 191412bbfd6d85a17a17e92807b553b1b49d4e2e | [log] [tgz] |
|---|---|---|
| author | Nicolas Geoffray <ngeoffray@google.com> | Thu Apr 27 21:00:19 2017 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Apr 27 21:00:21 2017 +0000 |
| tree | 79d203c2042ee05b5a9fdbdf425d869a67b8b5fd | |
| parent | ec0c057557836d2848399f43908d1e1e4977f355 [diff] | |
| parent | fbc4f118aff7c284f0d9d2ca209166b7ff79e542 [diff] |
Merge "If a profile is passed, we should always pass output-vdex and input-vdex."