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 /src | |
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 'src')
0 files changed, 0 insertions, 0 deletions