diff options
| author |   Haggai Eran <haggai.eran@gmail.com> | 2019-10-06 14:20:42 +0300 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2019-10-07 20:19:58 +0000 |
| commit | 81e5e529e1f9b46c6bd4f9debf4668cda48b9481 (patch) | |
| tree | 39bd2302d58d19e26cd9c549b021185a8782c964 /extras/docker/build | |
| parent | 4442f7cb2ebca129170a559d846712c2b65d5051 (diff) | |
docs: change VPP_WITH_SAMPLE_PLUGIN to SAMPLE_PLUGIN in sample plugin documentation
The sample_plugin_doc.md file refers to VPP_WITH_SAMPLE_PLUGIN make
parameter, while the VPP makefile uses SAMPLE_PLUGIN instead.
Type: docs
Signed-off-by: Haggai Eran <haggai.eran@gmail.com>
Change-Id: Id11090fcdc78b77e246da48d0d890865011f1132
Diffstat (limited to 'extras/docker/build')
0 files changed, 0 insertions, 0 deletions