Re: [PATCH 2/4] Document new 'set honor-dontdump-flag' command

Pedro Alves
2017-11-28T16:32:28Z

Hi Sergio,

Thanks much for scratching your own itch, btw.

> 2017-11-26 Dominik Czarnota <dominik.b.czarnota@gmail.com>
>
> PR gdb/21945
> diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
> index 675f6e7bc8..472a0fe8cc 100644
> --- a/gdb/doc/gdb.texinfo
> +++ b/gdb/doc/gdb.texinfo
> @@ -11543,7 +11543,9 @@ this writing, @sc{gnu}/Linux, FreeBSD, Solaris, and S390).
>
> On @sc{gnu}/Linux, this command can take into account the value of the
> file @file{/proc/@var{pid}/coredump_filter} when generating the core
> -dump (@pxref{set use-coredump-filter}).
> +dump (@pxref{set use-coredump-filter}), and will honor the VM_DONTDUMP
> +flag for sections where is present in the file
> +@file{/proc/@var{pid}/smaps} (@pxref{set honor-dontdump-flag}).

s/will honor/by default honors/
s/sections where is/mappings where it is/

Thanks,
Pedro Alves