Skip to content

Commit

Permalink
chore: add additional path for libseccomp lib
Browse files Browse the repository at this point in the history
Kani on x86 for some reason cannot find libseccomp by default,
so we add additional path to the build.rs

Signed-off-by: Egor Lazarchuk <[email protected]>
Signed-off-by: Pablo Barbáchano <[email protected]>
  • Loading branch information
ShadowCurse authored and pb8o committed Dec 16, 2024
1 parent 915ef20 commit f9d4a44
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/seccompiler/build.rs
Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,6 @@
// SPDX-License-Identifier: Apache-2.0

fn main() {
println!("cargo::rustc-link-search=/usr/local/lib");
println!("cargo::rustc-link-lib=seccomp");
}

0 comments on commit f9d4a44

Please sign in to comment.