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
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 9a85f487..02379a3b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -52,6 +52,7 @@ cparser/tests/generated/*.err
 backend/CMparser.automaton
 lib/Readconfig.ml
 lib/Tokenize.ml
+lib/Responsefile.ml
 driver/Version.ml
 # Documentation
 doc/coq2html
-- 
cgit