git.annexia.org / ocaml-augeas.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2adf57) | patch
Mark ocaml_augeas_source w/o aug_source as noreturn
authorPino Toscano <ptoscano@redhat.com>
Mon, 9 Oct 2017 10:52:57 +0000 (12:52 +0200)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 9 Oct 2017 15:08:26 +0000 (16:08 +0100)
commitfd480bd2086c498484e735b060a1c3e80491f02d
tree342579bb301d7de2eea0696533ec4f27e78d1f59tree | snapshot
parenta2adf57c2cde07976bf343b51c2d1217ed45540ecommit | diff
Mark ocaml_augeas_source w/o aug_source as noreturn

If aug_source is not available, the implementation of
ocaml_augeas_source just raises Failure: the caml_failwith function used
for that is marked as noreturn, and thus with more strict compiler flags
it can fail to build.

As solution, mark it as noreturn when aug_source is not available.
augeas-c.c diff | blob | history
OCaml bindings for Augeas.