diff options
| author |   Chris Luke <chrisy@flirble.org> | 2017-11-03 23:32:38 -0400 |
|---|---|---|
| committer |   Ole Trøan <otroan@employees.org> | 2017-11-20 08:53:05 +0000 |
| commit | 52bf22e6322dc8490717aa4246c0f8322f60e6e9 (patch) | |
| tree | 5b422f0c7874e0121e1f037329cf4b1d6f10ad33 /.gitignore | |
| parent | 84937522e006a7efb806863172eea9f9fa20dc26 (diff) | |
Have PAPI find its API definition files
- Add a basic heuristic to have vpp_papi search in several
places for the JSON API files.
- It's clever enough to work out the path to these files
from within several places in the source tree, falling
back to the system location as a last resort.
Change-Id: I1f823588e5aa0064d545ce4206ab29dbdedc4c7f
Signed-off-by: Chris Luke <chrisy@flirble.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions