From f7707b743152b96af204e7ef55b33fca7d91bab0 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 13 Oct 2015 12:42:05 +0100 Subject: [PATCH 4/7] rpm: rpm_is_available function can be "noalloc". --- src/librpm.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/librpm.ml b/src/librpm.ml index dc80286..4eeba77 100644 --- a/src/librpm.ml +++ b/src/librpm.ml @@ -16,7 +16,7 @@ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA *) -external rpm_is_available : unit -> bool = "supermin_rpm_is_available" +external rpm_is_available : unit -> bool = "supermin_rpm_is_available" "noalloc" external rpm_version : unit -> string = "supermin_rpm_version" external rpm_vercmp : string -> string -> int = "supermin_rpm_vercmp" "noalloc" -- 2.5.0