Skip to content

Commit 66be378

Browse files
committed
chore: add additional path for libseccomp lib
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]>
1 parent fae2530 commit 66be378

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/seccompiler/build.rs

+1
Original file line numberDiff line numberDiff line change
@@ -2,5 +2,6 @@
22
// SPDX-License-Identifier: Apache-2.0
33

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

0 commit comments

Comments
 (0)