From f22c32dcda0e8b546e85e8ad95d0ad655e365d38 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 20 Jul 2016 13:20:19 +0200
Subject: Added simplified reader and printer for gnu @files

The functions expandargv and writeargv resemble the functions from
the libiberity that are used by the gnu tools. Additionaly a new
configuration is added in order to determine which kind of response
files are supported for calls to other tools.
Bug 18308
---
 driver/Commandline.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'driver/Commandline.ml')

diff --git a/driver/Commandline.ml b/driver/Commandline.ml
index 1981776e..7e683680 100644
--- a/driver/Commandline.ml
+++ b/driver/Commandline.ml
@@ -101,7 +101,7 @@ let parse_array spec argv first last =
 
 let parse_cmdline spec =
   try
-    let argv = expand_responsefiles Sys.argv in
+    let argv = expandargv Sys.argv in
     parse_array spec argv 1 (Array.length argv - 1)
   with Arg.Bad s ->
     eprintf "%s" s;
-- 
cgit