Merge pull request #3 from mkroening/profile

Remove profiles from non root packages
hermit-os · Mar 25, 2024 · 0f1194a · 0f1194a
2 parents ac77597 + 911e4be
commit 0f1194a
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/examples/hermitrust/Cargo.toml b/examples/hermitrust/Cargo.toml
@@ -16,9 +16,3 @@ rftrace-frontend = { version = "0.1.0", path="../../rftrace-frontend" }
 #hermit-sys = {version="0.1.25", features=["instrument"]}
 hermit-sys = {git="https://github.com/tlambertz/rusty-hermit", branch="master", features=["instrument", "with_submodule"]}
 #hermit-sys = { path = "../../../rusty-hermit/hermit-sys", features = ["with_submodule", "instrument"] }
-
-[profile.release]
-opt-level = 3
-
-[profile.dev]
-opt-level = 1