From 9cbdda1226de6df154b1b2ad34c755cd7a97409b Mon Sep 17 00:00:00 2001 From: atbrakhi Date: Mon, 2 Dec 2024 11:45:55 +0100 Subject: [PATCH 1/2] Update `production` profile documentation In https://github.com/servo/servo/pull/34340 we optimize `production` profile. This changes update the book accordingly Signed-off-by: atbrakhi --- src/hacking/building-servo.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/hacking/building-servo.md b/src/hacking/building-servo.md index 8c972c1..94abe08 100644 --- a/src/hacking/building-servo.md +++ b/src/hacking/building-servo.md @@ -57,7 +57,7 @@ There are three main build profiles, which you can build and use independently o optimised? no yes - yes, more than in release + yes, with LTO, opt-level. More than in release maximum RUST_LOG level trace From 2e53dc6ccaf0a0fb765601fc4c95d600f85d2660 Mon Sep 17 00:00:00 2001 From: atbrakhi Date: Mon, 2 Dec 2024 13:21:58 +0100 Subject: [PATCH 2/2] review fix Signed-off-by: atbrakhi --- src/hacking/building-servo.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/hacking/building-servo.md b/src/hacking/building-servo.md index 94abe08..aced4a4 100644 --- a/src/hacking/building-servo.md +++ b/src/hacking/building-servo.md @@ -57,7 +57,7 @@ There are three main build profiles, which you can build and use independently o optimised? no yes - yes, with LTO, opt-level. More than in release + yes, more than in release maximum RUST_LOG level trace