]> www.infradead.org Git - users/dwmw2/qemu.git/commit
projects / users / dwmw2 / qemu.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 13b3997) | patch
qapi: Improve reporting of missing documentation comment
authorMarkus Armbruster <armbru@redhat.com>
Fri, 27 Sep 2019 13:46:37 +0000 (15:46 +0200)
committerMarkus Armbruster <armbru@redhat.com>
Sat, 28 Sep 2019 15:17:48 +0000 (17:17 +0200)
commitf63326985a23cc1bb6327a003050e6fdb52eb9cd
treec323f9c7d6bf8ed5bb057940c143e8bc7b11e34etree
parent13b3997f148bc35d2050bc2fe4bb405791ece94fcommit | diff
qapi: Improve reporting of missing documentation comment

Have check_exprs() check this later, so the error message gains an "in
definition line".  Tweak the error message.

Signed-off-by: Markus Armbruster <armbru@redhat.com>
Reviewed-by: Eric Blake <eblake@redhat.com>
Message-Id: <20190927134639.4284-25-armbru@redhat.com>
scripts/qapi/common.py diff | blob | history
tests/qapi-schema/doc-missing.err diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.