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 /.gitignore | |
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 '.gitignore')
0 files changed, 0 insertions, 0 deletions