From: Pino Toscano Date: Wed, 29 May 2019 09:48:36 +0000 (+0200) Subject: Add more init flags X-Git-Tag: v0.6~12 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=bb20badcb781cbecc9e33a352d0078545d27a967;p=ocaml-augeas.git Add more init flags Add all the init flags available in augeas 1.2.0. --- diff --git a/augeas-c.c b/augeas-c.c index 09d3add..f3f5223 100644 --- a/augeas-c.c +++ b/augeas-c.c @@ -133,6 +133,10 @@ static const int flag_map[] = { /* AugNoStdinc */ AUG_NO_STDINC, /* AugSaveNoop */ AUG_SAVE_NOOP, /* AugNoLoad */ AUG_NO_LOAD, + /* AugNoModlAutoload */ AUG_NO_MODL_AUTOLOAD, + /* AugEnableSpan */ AUG_ENABLE_SPAN, + /* AugNoErrClose */ AUG_NO_ERR_CLOSE, + /* AugTraceModuleLoading */ AUG_TRACE_MODULE_LOADING, }; /* Wrap and unwrap augeas_t handles, with a finalizer. */ diff --git a/augeas.ml b/augeas.ml index a2d345d..7601200 100644 --- a/augeas.ml +++ b/augeas.ml @@ -27,6 +27,10 @@ type flag = | AugNoStdinc | AugSaveNoop | AugNoLoad + | AugNoModlAutoload + | AugEnableSpan + | AugNoErrClose + | AugTraceModuleLoading type error_code = | AugErrInternal diff --git a/augeas.mli b/augeas.mli index dfada4a..3f3186c 100644 --- a/augeas.mli +++ b/augeas.mli @@ -28,6 +28,10 @@ type flag = | AugNoStdinc | AugSaveNoop | AugNoLoad + | AugNoModlAutoload + | AugEnableSpan + | AugNoErrClose + | AugTraceModuleLoading (** Flags passed to the {!create} function. *) type error_code =