diff options
author | Ruslan Babayev <ruslan@babayev.com> | 2020-12-23 01:08:38 -0800 |
---|---|---|
committer | Damjan Marion <dmarion@me.com> | 2020-12-25 11:43:59 +0000 |
commit | 05bc31be20849e5994eb798d9eed0ad506a57d18 (patch) | |
tree | b0cf8b8848d31b3a0ace562e916656106f6bee69 /docs/troubleshooting/sanitizer.rst | |
parent | c547e91df7083007c87615ac1e37b6f223e575e9 (diff) |
build: add plugin dependencies only when present
This fixes build for VPP_EXTERNAL_PROJECT plugin with missing
PLUGIN_API_FILES.
Type: fix
Signed-off-by: Ruslan Babayev <ruslan@babayev.com>
Change-Id: I687bedcd828d834b0a7de1363f0b2d063f75ee17
Diffstat (limited to 'docs/troubleshooting/sanitizer.rst')
0 files changed, 0 insertions, 0 deletions