git: 5f946c76c0cc - main - Update WITHOUT_KERNEL_SYMBOLS description

[Mark Millard]

Ed Maste emaste at FreeBSD.org wrote on
Tue Jul 27 21:24:57 UTC 2021 :

. . .
> diff --git a/tools/build/options/WITHOUT_KERNEL_SYMBOLS b/tools/build/options/WITHOUT_KERNEL_SYMBOLS
> index 79856e28c1aa..33fa2c4f1c97 100644
> --- a/tools/build/options/WITHOUT_KERNEL_SYMBOLS
> +++ b/tools/build/options/WITHOUT_KERNEL_SYMBOLS
> @@ -1,5 +1,2 @@
>  .\" $FreeBSD$
> -Do not install kernel symbol files.
> -.Bf -symbolic
> -This option is recommended for those people who have small root partitions.
> -.Ef
> +Do not install kernel debug symbol files.


This wording leaves open at least 2 possibilities:

A) The kernel debug symbols are not stripped out and are left in the
   original kernel files, so the information is still available, just
   in a different place.

B) The kernel debug symbols become not available by being stripped
   out of the original kernel files without being moved/copied to
   other files.



===
Mark Millard
marklmi at yahoo.com
( dsl-only.net went
away in early 2018-Mar)