Merge pull request #452 from vadorovsky/fix-lint

Fix clippy error
pull/451/head
Michal Rostecki 2 years ago committed by GitHub
commit 9382de75cc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -66,6 +66,7 @@ jobs:
- name: Install Pre-requisites - name: Install Pre-requisites
run: | run: |
sudo apt-get update
sudo apt-get -qy install linux-tools-common qemu-system-x86 cloud-image-utils openssh-client libelf-dev gcc-multilib sudo apt-get -qy install linux-tools-common qemu-system-x86 cloud-image-utils openssh-client libelf-dev gcc-multilib
cargo install bpf-linker cargo install bpf-linker

@ -432,9 +432,9 @@ fn match_candidate<'target>(
Ok(Some(target_spec)) Ok(Some(target_spec))
} }
fn match_member<'local, 'target>( fn match_member<'target>(
local_btf: &Btf, local_btf: &Btf,
local_spec: &AccessSpec<'local>, local_spec: &AccessSpec<'_>,
local_accessor: &Accessor, local_accessor: &Accessor,
target_btf: &'target Btf, target_btf: &'target Btf,
target_id: u32, target_id: u32,

Loading…
Cancel
Save