diff options
| author |   Chris Luke <chrisy@flirble.org> | 2017-05-29 10:02:45 -0400 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2017-05-29 22:30:44 +0000 |
| commit | cd76436097b9ddda76864af33c85aec9bab074a3 (patch) | |
| tree | 5596a25bcc2887a7ff5fd04fd4beb788536b29c0 /.gitignore | |
| parent | 9757325c52c223d85abfad834b071077365d4808 (diff) | |
Relocate Coverity scripts
- Move Coverity scripts from build-root/scripts to extras/scripts
- Update coverity-build with new path and add some comments
Change-Id: I1be8069fb574aaacbac9b7f2c9c80b9aad1790ec
Signed-off-by: Chris Luke <chrisy@flirble.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions