From 730966facd095f87620aa8d0798ccac7e36aa589 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 26 Nov 2015 19:04:04 +0100
Subject: New option --conf.

The option --conf allows it to overwrite the compcert.ini file.
Bug 17431.
---
 driver/Driver.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'driver/Driver.ml')

diff --git a/driver/Driver.ml b/driver/Driver.ml
index 6d961c64..8d144ad5 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -572,6 +572,7 @@ let cmdline_actions =
   Exact "-falign-branch-targets", Integer(fun n -> option_falignbranchtargets := n);
   Exact "-falign-cond-branches", Integer(fun n -> option_faligncondbranchs := n);
 (* Target processor options *)
+  Exact "--conf", String (fun _ -> ()); (* Ignore option since it is already handled *)
   Exact "-mthumb", Set option_mthumb;
   Exact "-marm", Unset option_mthumb;
 (* Assembling options *)
-- 
cgit