Blame SOURCES/0165-mllib-_exit-should-return-a.patch
|
 |
e76f14 |
From a65e9185fb8d4b20c41b612e4c461db60ab393f2 Mon Sep 17 00:00:00 2001
|
|
|
e76f14 |
From: "Richard W.M. Jones" <rjones@redhat.com>
|
|
|
e76f14 |
Date: Thu, 4 Aug 2016 09:25:55 +0100
|
|
|
e76f14 |
Subject: [PATCH] mllib: _exit should return 'a
|
|
|
e76f14 |
|
|
|
e76f14 |
Fixes commit 0dfa96c043cee4ce82c0a45c3ad09b0a61798b79.
|
|
|
e76f14 |
|
|
|
e76f14 |
(cherry picked from commit 9fc0418db541065841af53632ae2406efc968416)
|
|
|
e76f14 |
---
|
|
|
e76f14 |
mllib/exit.ml | 2 +-
|
|
|
e76f14 |
mllib/exit.mli | 2 +-
|
|
|
e76f14 |
2 files changed, 2 insertions(+), 2 deletions(-)
|
|
|
e76f14 |
|
|
|
e76f14 |
diff --git a/mllib/exit.ml b/mllib/exit.ml
|
|
|
e76f14 |
index e752bfe..4ca8a27 100644
|
|
|
e76f14 |
--- a/mllib/exit.ml
|
|
|
e76f14 |
+++ b/mllib/exit.ml
|
|
|
e76f14 |
@@ -16,4 +16,4 @@
|
|
|
e76f14 |
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
|
|
|
e76f14 |
*)
|
|
|
e76f14 |
|
|
|
e76f14 |
-external _exit : int -> unit = "guestfs_int_mllib_exit" "noalloc"
|
|
|
e76f14 |
+external _exit : int -> 'a = "guestfs_int_mllib_exit" "noalloc"
|
|
|
e76f14 |
diff --git a/mllib/exit.mli b/mllib/exit.mli
|
|
|
e76f14 |
index c1f0ab5..ddf3072 100644
|
|
|
e76f14 |
--- a/mllib/exit.mli
|
|
|
e76f14 |
+++ b/mllib/exit.mli
|
|
|
e76f14 |
@@ -16,5 +16,5 @@
|
|
|
e76f14 |
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
|
|
|
e76f14 |
*)
|
|
|
e76f14 |
|
|
|
e76f14 |
-val _exit : int -> unit
|
|
|
e76f14 |
+val _exit : int -> 'a
|
|
|
e76f14 |
(** Call _exit directly, ie. do not run OCaml atexit handlers. *)
|
|
|
e76f14 |
--
|
|
|
e76f14 |
1.8.3.1
|
|
|
e76f14 |
|