Document dg-line directive
authorTom de Vries <tom@codesourcery.com>
Tue, 23 May 2017 16:38:31 +0000 (16:38 +0000)
committerTom de Vries <vries@gcc.gnu.org>
Tue, 23 May 2017 16:38:31 +0000 (16:38 +0000)
commit1b4b1fc7cab09c63681cd4deeddcb81a4ee90d1b
treeb31b285f2dc0168e05cf66b61ea3946b4a10d8d4
parentd2db2e6b0563787bcc40c025ae5888020ded364f
Document dg-line directive

2017-05-23  Tom de Vries  <tom@codesourcery.com>

* doc/sourcebuild.texi (Directives, Verify compiler message): Document
dg-line directive.

From-SVN: r248376
gcc/ChangeLog
gcc/doc/sourcebuild.texi