From 7b56ef80850af8ddf13db35b4cd69f6cf1af3549 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 11 May 2017 15:53:16 +0200
Subject: coq_makefile: don't quote extra arguments (-arg)

Restores compatibility with 8.6
---
 tools/coq_makefile.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index 39dccaddee..78c92e68b5 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -257,7 +257,7 @@ let generate_conf_defs oc { defs; extra_args } =
   section oc "Extra variables.";
   List.iter (fun (k,v) -> Printf.fprintf oc "%s = %s\n" k v) defs;
   Printf.fprintf oc "COQMF_OTHERFLAGS = %s\n"
-    (String.concat " " (List.map quote extra_args))
+    (String.concat " " extra_args)
 
 let generate_conf oc project args  =
   fprintf oc "# This configuration file was generated by running:\n";
-- 
cgit v1.2.3