diff options
| author |   Benoît Ganne <bganne@cisco.com> | 2019-07-25 17:15:59 +0200 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2019-07-25 18:12:25 +0000 |
| commit | 6ceee457ddd145263df14defe72a5d1d2bc293e9 (patch) | |
| tree | 88c9013637a214d84a54cb2c6e0d3ad4f742643e /.gitignore | |
| parent | 98438e44c2a9d27f258aa4a177f468bcb66a8c36 (diff) | |
build: vppapigen search VPP_INCLUDE_DIR if set
When building out-of-tree plugins, we must search for .api in VPP
installed include directory.
Type: fix
Change-Id: I76b7bace69ff54a385d944313879e2aeb7293648
Signed-off-by: Benoît Ganne <bganne@cisco.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions