From a6bde8ba057ff057e311781fd91b4a9ab441731c Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 11 Jul 2016 12:21:47 +0200 Subject: Really added the function. Bug 18308 --- lib/Responsefile.mli | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lib/Responsefile.mli') diff --git a/lib/Responsefile.mli b/lib/Responsefile.mli index 2522b7c5..95c74bda 100644 --- a/lib/Responsefile.mli +++ b/lib/Responsefile.mli @@ -19,6 +19,6 @@ val expand_responsefiles: string array -> string array (** Expand responsefile arguments contained in the array and return the full set of arguments. *) -val write_responsefile: out_channel -> string array -> unit - (** Write the arguments on the out_channel. All arguments that contain - whitespaces are quoted. *) +val write_responsefile: out_channel -> string array -> int -> unit + (** Write the arguments starting at the given index as repsonsefile on the given + out_channel. All arguments that contain whitespaces are quoted. *) -- cgit