From 0a38e7727f3c38742704907e0c4dc60da6b99743 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 21 Jul 2016 14:39:00 +0200
Subject: Added support for quoting for diab backend.

The diab data compiler has different quoting conventions compared
to the gnu tools.
Bug 18308.
---
 driver/Configuration.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'driver/Configuration.ml')

diff --git a/driver/Configuration.ml b/driver/Configuration.ml
index be581e14..0a2b3eec 100644
--- a/driver/Configuration.ml
+++ b/driver/Configuration.ml
@@ -174,10 +174,12 @@ let struct_return_style =
 
 type response_file_style =
   | Gnu         (* responsefiles in gnu compatible syntax *)
+  | Diab        (* responsefiles in diab compatible syntax *)
   | Unsupported (* responsefiles are not supported *)
 
 let response_file_style =
   match get_config_string "response_file_style" with
   | "unsupported" -> Unsupported
   | "gnu" -> Gnu
+  | "diab" -> Diab
   | v -> bad_config "response_file_style" [v]
-- 
cgit