diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2023-10-09 18:05:47 -0400 |
|---|---|---|
| committer | Dave Wallace <dwallacelf@gmail.com> | 2023-10-11 03:13:11 +0000 |
| commit | 015a6f7f17c4c8a2c2dfc595c1b4dc52a6a18c89 (patch) | |
| tree | 2bbe5cf6ac73befdeaf4b9aafefaabe84ec8e613 /Makefile | |
| parent | 471dc6b1e3ea53ed48d0727070c02fc9cc9da423 (diff) | |
vppinfra: fix coverity issue CID 323952v23.10-rc2
Type: fix
Fixes: 08600ccfa
Change-Id: I53ba0d96507b55ab7cd735073d6c4cf20a3cc948
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
(cherry picked from commit 05cc62dd504bbb0fb230fcf3786ed7f4d5be2364)
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions