26 lines
832 B
Diff
26 lines
832 B
Diff
From f7707b743152b96af204e7ef55b33fca7d91bab0 Mon Sep 17 00:00:00 2001
|
|
From: "Richard W.M. Jones" <rjones@redhat.com>
|
|
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
|
|
|