diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2024-01-17 17:58:46 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2024-01-17 18:14:51 +0100 |
| commit | 075397e56bf9902d665175ff1ca5d586ceef8a5b (patch) | |
| tree | df499d6aad03b95b18fa3a58188bb3d82cb667a6 /dev-build/b2/files/b2-4.9.2-add-none-feature-options.patch | |
| parent | Move {sys-devel → dev-build}/qconf (diff) | |
| download | gentoo-075397e56bf9902d665175ff1ca5d586ceef8a5b.tar.gz gentoo-075397e56bf9902d665175ff1ca5d586ceef8a5b.tar.bz2 gentoo-075397e56bf9902d665175ff1ca5d586ceef8a5b.zip | |
Move {dev-util → dev-build}/b2
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Closes: https://github.com/gentoo/gentoo/pull/34867
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-build/b2/files/b2-4.9.2-add-none-feature-options.patch')
| -rw-r--r-- | dev-build/b2/files/b2-4.9.2-add-none-feature-options.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/dev-build/b2/files/b2-4.9.2-add-none-feature-options.patch b/dev-build/b2/files/b2-4.9.2-add-none-feature-options.patch new file mode 100644 index 000000000000..620dea0af51b --- /dev/null +++ b/dev-build/b2/files/b2-4.9.2-add-none-feature-options.patch @@ -0,0 +1,22 @@ +--- a/tools/features/debug-feature.jam ++++ b/tools/features/debug-feature.jam +@@ -18,7 +18,7 @@ common usage is to build release variant with debugging information. + |# # end::doc[] + + feature.feature debug-symbols +- : on off ++ : on off none + : propagated ; + + #| tag::prof-doc[] +--- a/tools/features/optimization-feature.jam ++++ b/tools/features/optimization-feature.jam +@@ -16,7 +16,7 @@ smaller binary. + |# # end::doc[] + + feature.feature optimization +- : off speed space minimal debug ++ : off none speed space minimal debug + : propagated ; + + #| tag::inline-doc[] |