diff options
| author |   Dave Barach <dave@barachs.net> | 2020-09-25 10:18:04 -0400 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2020-09-25 15:31:33 +0000 |
| commit | 18f0d3e7822f582b1b941b0dc5c3c44181493b5c (patch) | |
| tree | 6e6b72c99a502048af86523963f6b4f4ae8eafc0 /docs/gettingstarted | |
| parent | 6b6c10be0512a459146de82ba5fa2acc86f3f8d4 (diff) | |
vppinfra: dont complain about linux-vdso.so.1
It's not an elf file, yadda yadda.
Type: fix
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: Ie02a058adab1068260d9baa0a19398dab8d912d1
Diffstat (limited to 'docs/gettingstarted')
0 files changed, 0 insertions, 0 deletions