diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2018-01-24 00:51:22 -0500 |
|---|---|---|
| committer |   Chris Luke <chris_luke@comcast.com> | 2018-04-24 04:05:45 +0000 |
| commit | d5ae97cfbf3cc34bcc2ed1f9396dbcf985ab3310 (patch) | |
| tree | 0f8e662d6e26cc9888e65101c64b6eb6a417a77f /extras/scripts/coverity-build | |
| parent | e927f9a67e68278bc84741b8acf265e941f3c41c (diff) | |
Script to list patches that changed api files.
- Add Ole Troan's script from vpp-dev email:
https://lists.fd.io/pipermail/vpp-dev/2017-October/007037.html
Change-Id: I0cbf5118169dc25f0edd659a5a9f5cde8619f780
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
(cherry picked from commit b0a517b6c881ad82ac15e52e832056314216058d)
Diffstat (limited to 'extras/scripts/coverity-build')
0 files changed, 0 insertions, 0 deletions