diff options
author | Markus Armbruster <armbru@redhat.com> | 2017-03-20 14:11:51 +0100 |
---|---|---|
committer | Markus Armbruster <armbru@redhat.com> | 2017-03-21 10:42:27 +0100 |
commit | e8ba07ea9af6e71d6b1d946df7bcc5f5d6b0d22f (patch) | |
tree | e1e580d4a4af864cf95f4d419ff69850a2c19d13 | |
parent | 4afeeb57a16ab28727ffe1d644b691f9c83b8207 (diff) |
qapi2texi: Fix to actually fail when 'doc-required' is false
Messed up in commit bc52d03.
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Message-Id: <1490015515-25851-3-git-send-email-armbru@redhat.com>
Reviewed-by: Marc-André Lureau <marcandre.lureau@redhat.com>
-rwxr-xr-x | scripts/qapi2texi.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/qapi2texi.py b/scripts/qapi2texi.py index 8eed11a60c..5c4db78574 100755 --- a/scripts/qapi2texi.py +++ b/scripts/qapi2texi.py @@ -292,6 +292,7 @@ def main(argv): if not qapi.doc_required: print >>sys.stderr, ("%s: need pragma 'doc-required' " "to generate documentation" % argv[0]) + sys.exit(1) print texi_schema(schema) |