Merge pull request #2404 from hermit-os/profile-release

feat: add dist profile

Author: mkroening

Cargo.toml

@@ -440,6 +440,11 @@ unreadable_literal = "warn"
 [patch.crates-io]
 safe-mmio = { git = "https://github.com/hermit-os/safe-mmio", branch = "0.3.x" }
 
-[profile.profiling]
+[profile.dist]
 inherits = "release"
+lto = "thin"
+codegen-units = 1
+
+[profile.profiling]
+inherits = "dist"
 debug = "line-tables-only"

hermit-builtins/Cargo.toml

@@ -9,8 +9,13 @@ libm = "0.2"
 crate-type = ["staticlib"]
 harness = false
 
-[profile.profiling]
+[profile.dist]
 inherits = "release"
+lto = "thin"
+codegen-units = 1
+
+[profile.profiling]
+inherits = "dist"
 debug = "line-tables-only"
 
 [workspace]

xtask/src/artifact.rs

@@ -46,7 +46,7 @@ impl Artifact {
 		if self.profile_path_component() == "profiling" {
 			self.profile_path_component()
 		} else {
-			"release"
+			"dist"
 		}
 	}