diff options
Diffstat (limited to 'rust/Cargo.toml')
| -rw-r--r-- | rust/Cargo.toml | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/rust/Cargo.toml b/rust/Cargo.toml deleted file mode 100644 index a74fdd6..0000000 --- a/rust/Cargo.toml +++ /dev/null @@ -1,20 +0,0 @@ -[package] -name = "pintos-rs" -version = "0.1.0" -authors = ["Gustav Sörnäs <gustav@sornas.net>"] -edition = "2018" - -[lib] -name = "rust" -crate-type = ["staticlib"] - -[profile.dev] -panic = "abort" - -[profile.release] -panic = "abort" - -[dependencies.libc] -version = "0.2" -default-features = false -features = ["extra_traits"] |