From 5309f16159e4decd81330622dcdd6eb4b25819a1 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 16 Aug 2016 10:35:17 +0200
Subject: Moved quoting functions in Responsefile

Also corrected some typos and corrected exception handling for
expandargv.
Bug 18308
---
 lib/Responsefile.mli | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'lib/Responsefile.mli')

diff --git a/lib/Responsefile.mli b/lib/Responsefile.mli
index ec82c32e..ada5a15d 100644
--- a/lib/Responsefile.mli
+++ b/lib/Responsefile.mli
@@ -18,3 +18,14 @@
 val expandargv: string array -> string array
   (** Expand responsefile arguments contained in the array and return the full
       set of arguments. *)
+
+exception Error of string
+  (** Raised by [expandargv] in case of an error *)
+
+val gnu_quote : string -> string
+  (** [gnu_quote arg] returns [arg] quoted compatible with the gnu tool chain
+      quoting conventions. *)
+
+val diab_quote : string -> string
+  (** [diab_quote arg] returns [arg] quoted compatible with the diab tool chain
+      quoting conventions. *)
-- 
cgit