diff options
Diffstat (limited to 'lang/ocaml/patches/patch-driver_main_args.mli')
-rw-r--r-- | lang/ocaml/patches/patch-driver_main_args.mli | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lang/ocaml/patches/patch-driver_main_args.mli b/lang/ocaml/patches/patch-driver_main_args.mli index 5bdb417b21e..78ce04a12b9 100644 --- a/lang/ocaml/patches/patch-driver_main_args.mli +++ b/lang/ocaml/patches/patch-driver_main_args.mli @@ -1,13 +1,13 @@ -$NetBSD: patch-driver_main_args.mli,v 1.1 2015/01/20 14:12:25 jaapb Exp $ +$NetBSD: patch-driver_main_args.mli,v 1.2 2015/06/30 11:08:47 jaapb Exp $ pkgsrc_runtime flag ---- driver/main_args.mli.orig 2014-09-26 13:00:20.000000000 +0000 +--- driver/main_args.mli.orig 2015-05-12 15:31:26.000000000 +0000 +++ driver/main_args.mli -@@ -68,6 +68,7 @@ module type Compiler_options = sig - val _o : string -> unit +@@ -70,6 +70,7 @@ module type Compiler_options = sig val _output_obj : unit -> unit + val _output_complete_obj : unit -> unit val _pack : unit -> unit -+ val _pkgsrc_runtime : unit -> unit ++ val _pkgsrc_runtime : unit -> unit val _pp : string -> unit val _principal : unit -> unit val _rectypes : unit -> unit |