path: root/libpintos-rs/build.rs

fn main() {
    println!("cargo:rustc-link-search=native=.");
    println!("cargo:rustc-link-lib=static=pintos");
}