[PATCH 4/4] python support for fetching separate debug files: is_separate_debug_file

[Eli Zaretskii]

> From: Doug Evans <dje@google.com>
> Date: Thu, 20 Nov 2014 13:26:01 -0800
> 
> This patch adds the ability for Python code to determine if an objfile
> is a separate debug file: the new_objfile event gets called for them
> too.
> 
> 2014-11-20  Doug Evans  <dje@google.com>
> 
> 	* NEWS: Mention gdb.Objfile.is_separate_debug_file.
> 	* python/py-objfile.c (objfpy_is_separate_debug_file): New function.
> 	(objfile_getset): Add "is_separate_debug_file".
> 
> 	doc/
> 	* python.texi (Objfiles In Python): Document
> 	Objfile.is_separate_debug_file.
> 
> 	testsuite/
> 	* gdb.python/py-objfile.exp: Add tests for
> 	objfile.is_separate_debug_file.

OK for the documentation parts.

Thanks.