From: Richard W.M. Jones Date: Tue, 6 Jun 2017 14:14:19 +0000 (+0100) Subject: Implement AugNoStdinc, AugSaveNoop and AugNoLoad flags. X-Git-Tag: v0.6~31 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=4064f0ec2e3e65b9a611ff7a9721bd3977a010eb;p=ocaml-augeas.git Implement AugNoStdinc, AugSaveNoop and AugNoLoad flags. --- diff --git a/augeas-c.c b/augeas-c.c index 4818116..3f5431b 100644 --- a/augeas-c.c +++ b/augeas-c.c @@ -42,7 +42,10 @@ raise_error (const char *msg) static int flag_map[] = { /* AugSaveBackup */ AUG_SAVE_BACKUP, /* AugSaveNewFile */ AUG_SAVE_NEWFILE, - /* AugTypeCheck */ AUG_TYPE_CHECK + /* AugTypeCheck */ AUG_TYPE_CHECK, + /* AugNoStdinc */ AUG_NO_STDINC, + /* AugSaveNoop */ AUG_SAVE_NOOP, + /* AugNoLoad */ AUG_NO_LOAD, }; /* Wrap and unwrap augeas_t handles, with a finalizer. */ diff --git a/augeas.ml b/augeas.ml index 40833b2..fa6c680 100644 --- a/augeas.ml +++ b/augeas.ml @@ -26,6 +26,9 @@ type flag = | AugSaveBackup | AugSaveNewFile | AugTypeCheck + | AugNoStdinc + | AugSaveNoop + | AugNoLoad type path = string diff --git a/augeas.mli b/augeas.mli index 3fe1e87..bada127 100644 --- a/augeas.mli +++ b/augeas.mli @@ -29,6 +29,9 @@ type flag = | AugSaveBackup (** Rename original with .augsave *) | AugSaveNewFile (** Save changes to .augnew *) | AugTypeCheck (** Type-check lenses *) + | AugNoStdinc + | AugSaveNoop + | AugNoLoad (** Flags passed to the {!create} function. *) type path = string