Displaying 2 results from an estimated 2 matches for "08efa5d".
2014 Jul 07
2
Re: [PATCH] Use Mkdtemp.temp_dir instead of Mkdtemp.mkdtemp
..., 2014 at 07:53:52PM +0200, Pino Toscano wrote:
> ---
> builder/sigchecker.ml | 2 +-
> sysprep/sysprep_operation_script.ml | 2 +-
> 2 files changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/builder/sigchecker.ml b/builder/sigchecker.ml
> index c35d2da..08efa5d 100644
> --- a/builder/sigchecker.ml
> +++ b/builder/sigchecker.ml
> @@ -54,7 +54,7 @@ let import_keyfile ~gpg ~gpghome ~verbose keyfile =
>
> let rec create ~verbose ~gpg ~gpgkey ~check_signature =
> (* Create a temporary directory for gnupg. *)
> - let tmpdir = Mkdtemp...
2014 Jul 07
2
[PATCH] mllib: introduce Mkdtemp.temp_dir
Add a simple function to ease the usage of Mkdtemp.mkdtemp.
---
mllib/mkdtemp.ml | 5 +++++
mllib/mkdtemp.mli | 7 +++++++
2 files changed, 12 insertions(+)
diff --git a/mllib/mkdtemp.ml b/mllib/mkdtemp.ml
index 2e64862..353b04b 100644
--- a/mllib/mkdtemp.ml
+++ b/mllib/mkdtemp.ml
@@ -16,4 +16,9 @@
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*)
+open Common_utils
+