feat: make profiling profile inherit dist profile

mkroening · mkroening · commit e60da85999f2 · 2026-05-07T19:53:17.000+02:00
diff --git a/Cargo.toml b/Cargo.toml
@@ -446,5 +446,5 @@ lto = "thin"
 codegen-units = 1
 
 [profile.profiling]
-inherits = "release"
+inherits = "dist"
 debug = "line-tables-only"
diff --git a/hermit-builtins/Cargo.toml b/hermit-builtins/Cargo.toml
@@ -15,7 +15,7 @@ lto = "thin"
 codegen-units = 1
 
 [profile.profiling]
-inherits = "release"
+inherits = "dist"
 debug = "line-tables-only"
 
 [workspace]
